>>76は第一不完全性定理。「数学は矛盾を含まない」という命題がその決定不能な
命題のひとつだということを示したのが第二不完全性定理。数学は「数学が矛盾を
含まない」という命題を証明も反証もできない