4 675
szerkesztés
„Tarski-féle T-séma” változatai közötti eltérés
→Néhány metatétel
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
|
'''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
Ez pedig a hazug paradoxonának feloldása a legegyszerűbb tárgyelméletek esetén.
| |||