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

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

数学基礎論・数理論理学　その14 - 暇つぶし2ch712:１３２人目の素数さん
14/04/12 00:47:23.56
>>711
実際の証明に応用される証明論の結果なんてあるの？
原理的には公理に推論規則を淡々と適用してくだけなんだし。
7+5=3*4を示すのに算術なんていらないのと同じ。