On: About math limitations

[zmgsabst]

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.