Title: Where is the Gödel-point hiding
Subjects: Intuitionistic mathematics, Proof theory