「『ゲーデルの不完全性定理』」を解説文に含む見出し語の検索結果(41～50/471件中)
床屋のパラドックス（とこやのパラドックス）は、数理論理学と集合論における重要なパラドックスである。このパラドックスはイギリスの論理学者バートランド・ラッセルにより考案されたラッセルのパラドックスを分か...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 16:14 UTC 版)「シミュレーション仮説」の記事における「CantGoTu（カントール-ゲーデル-チューリ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/10 16:16 UTC 版)「真理」の記事における「フレーゲとラムゼイ 真理のデフレ理論」の解説フレーゲは真理述語が...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「一貫性（無矛盾性）の証明」の解説先に述べたように、ヒルベルト・...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/30 05:51 UTC 版)「レーヴェンハイム–スコーレムの定理」の記事における「例と帰結」の解説自然数を N、実数...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/15 06:56 UTC 版)「論証」の記事における「形式的論証と数学的論証」の解説数学においては、論証のそれぞれの文...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/24 08:10 UTC 版)「第一原理」の記事における「形而上学における第一原理」の解説互いに無矛盾な命題からなる形...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/21 02:06 UTC 版)「素朴集合論」の記事における「無矛盾性」の解説素朴集合論は、考慮できる集合を正しく指定し...