sur 8
Gödel's Theorem — A. W. Moore