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

a
:Az ''(S)'' mondat akkor és csak akkor ''igaz'', ha ''P''
metanyelvi kijelentést az '''S''' tárgynyelvi mondat T-sémabeli alakjának nevezzük. A T-séma (Tarski igazságdefiníciójának következtében) minden esete tétele a metaelméletnek. Vegyük észre, hogy a T-séma nem más mint annak az arisztotelészi elvnek a formális nyelvre vonatkozó megfogalmazása, amely szerint "egy mondat pontosan akkor igaz, ha az, amit állít a valóságban is úgy van". Tarski a T-séma eseteinek fennállását tekintette az ''igazság'' helyes definíciója kritériumának.
 
=== Példa ===
Legyen '''L''' a német nyelv, mint tárgynyelv, ''M'' az angol, mint metanyelv, legyen továbbá az '''S''' mondat a következő: '''Die schnee ist weiß'''. Ekkor az '''S''' mondatot a T-sémába helyettesítve tételt kapunk:
:A "''The German sentence'' »'''Die schnee ist weiß'''« ''is true if and only if the snow is white.''" ekvivalencia tétele a metaelméletnek.