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

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

数理論理学（数学基礎論）　その12 - 暇つぶし2ch480:１３２人目の素数さん
18/01/03 10:08:19.71 oS3S5duA.net
>>465
> 正しいと証明できてなくても正しそうなものは皆が認めるなら使ってもいいし
「公理として」が抜けてるよ。