logoalt Hacker News

andriy_kovalyesterday at 10:04 PM1 replyview on HN

support your point with explanation or be ignored :-)


Replies

Almondsetatyesterday at 10:09 PM

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

show 1 reply