Oulie
Gödel's proof by Ernest Nagel — Oulie