Remix.run Logo
andriy_koval 31 minutes ago

support your point with explanation or be ignored :-)

Almondsetat 27 minutes ago | parent [-]

Godel proved that any system expressive enough to produce an arithmetic is incomplete. He initially proved it for the peano axioms but then it got generalized. ZFC can produce an arithmetic. Also, before being arrogant and demanding explanations, you should give them first for your claims

andriy_koval 20 minutes ago | parent [-]

> 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.

Almondsetat 16 minutes ago | parent [-]

why should they be obvious? they are derived and have been thoroughly proven.

andriy_koval 7 minutes ago | parent [-]

looks like we are in disagreement