- #1
baker0
- 6
- 0
Is any collection of axioms incomplete? This seems to be intuitively true.
Relating to Godel's Incompleteness theorem, Godel proved any consistent set of axioms based on the theory of natural numbers cannot be proved themselves, without leaving any assumptions.
So what I am wondering is if anyone has proved that any arbitrary set of consistent axioms is incomplete?
Relating to Godel's Incompleteness theorem, Godel proved any consistent set of axioms based on the theory of natural numbers cannot be proved themselves, without leaving any assumptions.
So what I am wondering is if anyone has proved that any arbitrary set of consistent axioms is incomplete?