スレじゃないって。 Kunenを最初に読んだときに、Aronszajn treeはSuslin treeの前段階だと思ってしまい、その後Aronszajn treeの深さに気づくまでに恐ろしく時間がかかったので、罪悪感がある 実数の非可算部分順序ももも埋め込めない非可算順序をZFC上で作…