Kui süsteem/keel on konsistentne (mittevastuoluline), siis ei saa ta olla täielik (st sisaldab väiteid, mis võivad olla tõesed, kuid selles süsteemis mitte tõestatavad) Aksioomide konsistentsust ei ole võimalik tõestada vastava süsteemi vahenditega Metakeel Keel, mis kirjeldab seda teist keelt Metakeele tähendused on keeles Metakeele konsistentsust me ei saa tõestada metakeelega, siis loeme metametakeelt, mis tõestab metakeele konsistentsust, kuid mitte enda konsistentsust Keelesemantika Noam Chomsky. Aspects of the theory of syntax (1965) jätkas ameerika strukturalismi joont, et tähendus ei kuulu keele valdkonda Keel on lihtsalt 1 formaalne süsteem, keele puhul oluline, et räägiksime grammatiliselt korrektselt Chomsky lõi ideaalselt absurdse lause, kus iga järgmine sõna on vastuolus eelmisega (Colorless green ideas sleep furiously) et kui pole elus, ei saa magada, kui pole värvi ei saa olla roheline jne
tähendavad sama asja) ja homonüüme (samad märgid, mis tähendavad erinevaid asju). Ratsionaalne keel peab olema selline keel, milles ei saa valetada grammatika välistab õigete lausete puhul, et nad vastavad valele. Seega kui keegi hakkab valetama, siis ta moodustab grammatiliselt vale struktuuri ja me saame teada, et ta valetab. · Gurt Gödel (1906-1979) tõestab, et sellise keele loomine, milles ei saa valetada on võimatu. Keelesemantika Tähendus lülitati keeleteadusest välja. Keeles on väga palju spetsiifilisi termineid (mutri kujud, loomade liigid jne), kuid see ei takista meil teada eesti või inglise keelt. Keeleteadus tegeleb ainult struktuuriga. Chomsky avaldas 1957 raamatu ,,Süntaktilised struktuurid", ütleb, et keel ei tegele tähendusega, võivad olla perfektsed laused ei tähenda midagi ,,Colorless green ideas sleep furiously". Mõttetu lause, mis on grammatiliselt täiesti korrektne. Chomsky