A direct proof of Gödel's incompleteness theorems (Q581402)

This paper deals with a proof of Gödel Incompleteness Theorem which does not use directly self reference. The reviewer is not enthusiastic of this proof for the following reasons: 1) The proof uses the fact that recursive functions are representable in PA, and, if this is assumed, everything becomes easy. 2) In the author's proof of the Second Incompleteness Theorem, an unprovable formula is found, which is shown to be true iff PA is consistent. Since intensional aspects are relevant in this theorem, a discussion on the naturality of the author's consistency statement would have been useful.