Assertion: logic | /r/HasProperty | possible
Facets:
Source sentences:
text: Here a logical system is said to be effectively given if it is possible to decide, given any formula in the language of the system, whether the formula is an axiom, and one which can express the Peano axioms is called "sufficiently strong.