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

第二不完全性定理は「数学は矛盾を含まない」という命題が、
第一不完全性定理が対象とする決定不能命題であるとまでは主張していませんよ。