Proof theory: example of an existence proof of a proof?

Printable View