Assertion: logic's theorem | /r/HasProperty | expressed in formal languages
Facets:
Source sentences:
text: The symbols, formulas, systems, theorems, proofs, and interpretations expressed in formal languages are syntactic entities whose properties may be studied without regard to any meaning they may be given, and, in fact, need not be given any.