A. W. Moore Gödel's Theorem