Assertion: consistency | /r/HasProperty | proved by means of model theory
Facets:
Source sentences:
text: Although consistency can be proved by means of model theory, it is often done in a purely syntactical way, without any need to reference some model of the logic.