Gödel's Theorem - A. W. Moore

When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine the…