3 ms·
That’s where Gödel’s theorem comes in. There’s always axioms unprovable without expanding the system
by andreskytt 6y ago
That’s where Gödel’s theorem comes in. There’s always axioms unprovable without expanding the system
- wurp 6y agoGoedel's completeness and incompleteness only apply if the initial set of axioms is powerful enough to express addition over all the integers.