[trosenbaum]

You may enjoy this then: http://jtra.cz/stuff/essays/math-self-reference/index.html

[nightcracker]

I was already aware of its existence, but I forgot the exact reference, thanks.