**proof theory**: of a particular interest here is a view on the proof as "

**". See Richard Tieszen,**

*fulfillment of a mathematical intention***, CUP, 2005, Ch. 13 - "Proofs and fulfillable mathematical intentions" (a book which also addresses Kurt Gödel's involvement with phenomenological thought - also see Giuseppina Ronzitti's review in**

*Phenomenology, Logic, and the Philosophy of Mathematics**Philosophia Mathematica*16(2),264-276, 2008).