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

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
+ kategória, helyesírás, linkek, interwiki az angolra
8. sor:
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==