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

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

数理論理学（数学基礎論）　その13 - 暇つぶし2ch804:１３２人目の素数さん
19/02/11 15:55:51.40 YfZ/vn9O.net
>>759
ZFCではそうなだけで公理系にはNBGとかもあるし、一階述語論理に限定する理由もない
それでもある程度困難が生じることはZFCだけでは語れないから自然言語で説明されてもしょうがない

次ページ

続きを表示

1を表示