>>142
ありがとうございます。
可算でないのに整列可能ということがあり得るということですが、どうもよく
わかりません。非可算な集合を整列するとき、最初の可算部分を整列させた後、
残りの非可算の部分をどうやって整列させるのでしょうか？

ところで、無矛盾性や独立性を示すには、モデルの存在によって示すしか他に方法は
方法はないのでしょうか？モデルを持ち出さずに直接？示すことはできないのでしょうか？
また、モデルが矛盾するということはないのでしょうか？