Displaying similar documents to “Gödel's diagonalization technique and related properties of theories”