Assertion: logic's theorem | /r/HasProperty | proved inside formal system
Facets:
Source sentences:
text: Once a formal system is given, one can define the set of theorems which can be proved inside the formal system.
text: Once a formal system is given, one can define the set of theorems which can be proved inside the formal system.