3 ms·
The insight is that mathematics is not complete — which is the property that a system can prove every true theorem. Consistency is there as a technical detail:
by zmgsabst 3y ago
The insight is that mathematics is not complete — which is the property that a system can prove every true theorem.
Consistency is there as a technical detail: an inconsistent system can prove every true theorem, by virtue of being able to prove every theorem.