No consistent extension of arithmetic can define its own truth predicate. A semantic analogue of Gödel's incompleteness; motivates hierarchies of meta-languages.
No consistent extension of arithmetic can define its own truth predicate. A semantic analogue of Gödel's incompleteness; motivates hierarchies of meta-languages.