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

nincs szerkesztési összefoglaló
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.''” ekvivalenciamondat tétele a metaelméletnek.
 
==Néhány metatétel==
Névtelen felhasználó