E-viri
Recenzirano
-
Smullyan, Raymond M.
Studia logica, 12/1985, Letnik: 44, Številka: 4Journal Article
Self-referential sentences have played a key role in Tarski's proof 9 of the non-definibility of arithmetic truth within arithmetic and Gödel's proof 2 of the incompleteness of Peano Arithmetic. In this article we consider some new methods of achieving self-reference in a uniform manner.
