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

 
'''Tétel''' - ''Tarski definiálhatósági tétele''
*Ha a tárgynyelv nem tartalmazza a természetes számok végtelen struktúráját, akkor a T-séma minden esete levezethető, és az ''igazság fogalma'' ellentmondásmentes tárgyelméletmetaelmélet esetén is megszerkeszthető.
Ez pedig a hazug paradoxonának feloldása a legegyszerűbb tárgyelméletek esetén.