Reply to thread

That is correct.


The jist of godel's incompleteness theorem is that any logical conception is either complete or consistent, not both.


That's one of the reasons axioms don't require proof.


Back
Top