数理論理学（数学基礎論）　その11

数理論理学（数学基礎論）　その11at MATH

数理論理学（数学基礎論）　その11 - 暇つぶし2ch932:１３２人目の素数さん
17/10/31 13:12:33.77 LRRz/Gr+.net
形式的数学と非形式的数学が全く同じ証明能力を持つと仮定すればメタレベルの連鎖は終わる
そしてそんな大胆な仮定は置けないので、ここが理性の限界、後は個人の好みの問題
明らかと言えるような何事もない

次ページ

続きを表示

1を表示