[bananaflag]

Indeed, as I think I commented before here, this kind of self-reference is exactly what makes Gödel's proof work.