News for hackers. Stuff that matters.

A comment on Gödel's Theorem. Parent comment

Re:Gödel's Theorem by rocqua on Thursday January 31, 2019 @12:35AM (#19042624)
What logical system isnt axiomatic? I can't envision such a thing.

The only way out I see is uncountably many axioms.

[ Parent | on HN ]

There are no comments on this comment yet.