alt Hacker News> expressive enough to produce
you understand that "expressive enough to produce" are not obvious elements of zfc, that's some average consumer napkin math and not strict formalization.
> expressive enough to produce
you understand that "expressive enough to produce" are not obvious elements of zfc, that's some average consumer napkin math and not strict formalization.
why should they be obvious? they are derived and have been thoroughly proven.