Godel's Proof

by Ernest Nagel

Gödel’s paper is a proof of the impossibility of formally demonstrating certain important propositions in number theory.

This is too meta for my taste