0142132人目の素数さん垢版 | 大砲2014/04/01(火) 23:10:36.51 割と有名な教科書にそのまま載ってます。 片方が成り立ってもう片方が成り立たないモデルを作れば良い。 >>141 可算⇒整列可能は成り立つけど 整列可能⇒可算は成り立たない。 実際、ちょっと厳密じゃない言い方になるけど 可算な整列順序の順序型の全体は整列可能だけど ω=aleph_0の次の基数になる。 置換公理や無限公理の独立性は選択公理より遥かに簡単に示せます。 これも丁寧に書いた教科書なら大抵載ってます。