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

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

数学基礎論・数理論理学　その10 - 暇つぶし2ch139:１３２人目の素数さん
11/11/03 08:51:45.25
二次的であれば重要度が減る。
三次、４次、とつづく研究をするか？

ある定理を証明するのに、ある公理系が必要十分であることを証明できたら、
次に、そのメタ証明を証明するのに、必要十分な公理系を証明する、
そのメタメタ証明を、、、

あ、私は135とは別人ね

次ページ