Assertion: logic | /r/HasProperty | given given any formula
Facets:
value: in the language of the system
type: OTHER
value: effectively
type: MANNER
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.