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

 
==Néhány metatétel==
'''Tétel''' - ''Tarski demdefiniálhatóságinemdefiniálhatósági tétele''
*Ha a tárgynyelv tartalmazza a [[természetes szám]]ok végtelen struktúráját, akkor levezethető a T-séma egy esetének negációja, azaz létezik olyan '''S''' tárgynyelvi mondat, melyre a következő kijelentés metanyelvi tétel:
:Az ''(S)'' mondat akkor és csak akkor ''igaz'', ha ''nem P''