RT MM A1 네이글, 어니스트 T1 (호프스태터가 서문을 쓰고 개정한) 괴델의 증명