Assertion: logic's theorem | /r/HasProperty | any formula
Facets:
Source sentences:
text: Once this has been done, a theorem is any formula which is a logical consequence of the axioms.