すべての公開記録

onayamiの取得できる記録をまとめて表示しています。 記録の種類、実行した利用者 (大文字小文字は区別)、影響を受けたページ (大文字小文字は区別) による絞り込みができます。

• 2024年6月18日 (火) 11:16 Moutaku3dayo トーク 投稿記録 がページ「不完全性定理」を作成しました (ページの作成:「== 不完全性定理 == 不完全性定理は数学と論理学において、クルト・ゲーデルによって証明された2つの重要な定理である。これらの定理によれば、任意の十分強力な形式体系は、その中で真であるが証明できない文を含むことが示される。具体的には、次の2つの主張がなされる： === 第一不完全性定理 === 任意の十分強力な形式体系は、その中で真…」)