| ▲ | Almondsetat 34 minutes ago |
| If you start with "I'm not a strong expert" maybe you should stop continuing saying wrong stuff. What you just wrote is completely wrong. |
|
| ▲ | andriy_koval 32 minutes ago | parent [-] |
| support your point with explanation or be ignored :-) |
| |
| ▲ | Almondsetat 28 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 21 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. | | |
|
|
