心に残るあの言葉を投稿できるサイト

---

言霊TOP   名言を投稿する  

ある程度の有限的算術を含むどんな無矛盾な形式体系にも決定不能な算術命題が存在し、さらにそのような体系の無矛盾性はその体系においては証明できない。