|
|
=== Példa ===
Legyen '''L''' a [[német nyelv]], mint tárgynyelv, ''M'' aza angol[[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:
:AAz "„''TheAz Germana sentencenémet mondat, hogy'' »'''Die schnee ist weiß'''« ''is trueakkor ifés andcsak onlyakkor ifigaz, theha snowa ishó whitefehér.''"” ekvivalencia tétele a metaelméletnek.
==Néhány metatétel==
|