数学 無矛盾な公理的集合論は自己そのものの無矛盾性を証明することができない:ゲーデルの不完全性定理 今は昔の作品ではあるが、涼宮ハルヒの憂鬱:笹の葉ラプソディに登場する有名な台詞。この中二病心をくすぐって止まない一文についてまとめる。 いったいどういう意味か ゲーデルの第二不完全性定理という定理である ゲーデルの不完全... 2022.10.16 数学