14/03/20 13:34:11.47
>>649
>ひょっとして、ZFとAC,CH,V=Lなどとの独立性についても、世の中とつながりのある説明を期待していたの？
もちろんそうです．
「世の中とのつながり」というと，少し通俗的な感じがして，違いますが，
>>650
>不完全性定理の「一般」の理解はほぼ誤解だから
誤解（解釈のし過ぎなど）が多いのは知っていますが，
定理をそのまま理解したり，その証明を追うだけで留めておけば
誤解は避けられるでしょうが，それでは，明らかにその意味を
理解したことにはならないわけで．
いろんな意味で一般化が必要ですよね．