🏠 ホーム
ベンチマーク
📊 すべてのベンチマーク 🦖 恐竜 v1 🦖 恐竜 v2 ✅ To-Doリストアプリ 🎨 クリエイティブフリーページ 🎯 FSACB - アルティメットショーケース 🌍 翻訳ベンチマーク
モデル
🏆 トップ10モデル 🆓 無料モデル 📋 すべてのモデル ⚙️ 🛠️ Kilo Code モード
リソース
💬 💬 プロンプトライブラリ 📖 📖 AI用語集 🔗 🔗 有用なリンク
متقدم

ゲーデルの不完全性定理

#論理学 #数学 #基礎論

数学的体系の根本的な限界について解説するプロンプト。

ゲーデルの不完全性定理について、ある公理系内の命題が真でありながらその体系内では証明不可能であるという概念を、論理的な帰結としてなぜ避けられないのかを含めて詳しく解説してください。