|
|
|
|
|
|
by zmgsabst
1067 days 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. |
|
|