„Tarski-féle T-séma” változatai közötti eltérés

(+ kategória, helyesírás, linkek, interwiki az angolra)
Legyen '''L''' a [[német nyelv]] mint tárgynyelv, ''M'' a [[magyar nyelv]] mint metanyelv, legyen továbbá az '''S''' mondat a következő: '''Die schnee ist weiß''' („A hó fehér”). Ekkor az '''S''' mondatot a T-sémába helyettesítve tételt kapunk:
 
:Az „''Az a német mondat, hogy'' »'''Die schnee ist weiß'''«, ''akkor és csak akkor igaz, ha a hó fehér.''” ekvivalenciatételeekvivalencia tétele a metaelméletnek.
 
==Néhány metatétel==
Névtelen felhasználó