Assertion: consistency | /r/HasProperty | provable
Facets:
value: in peano
type: LOCATION
Source sentences:
text: This corollary of the second incompleteness theorem shows that there is no hope of proving, for example, the consistency of Peano arithmetic using any finitistic means that can be formalized in a system the consistency of which is provable in Peano arithmetic (PA).