数学基礎論・数理論理学　その19

数学基礎論・数理論理学　その19at MATH

数学基礎論・数理論理学　その19 - 暇つぶし2ch202:１３２人目の素数さん
24/05/09 08:47:43.16 kr5FQ87d.net
>>199
>正しくは、ヒルベルト・プログラムの研究
>有限の立場（形式主義）
ここでいう有限の立場は具体的に言えば原始帰納的算術(PRA)
URLﾘﾝｸ(ja.wikipedia.org)
これはペアノ算術より弱い体系である

次ページ