ススリン（Михаи́л Я́ковлевич Су́слин）の遺稿で提示された全順序集合に関する問題（1920年）。この問題は標準的な公理的集合論の体系として知られるZFCと独立であることが知られている。すなわち、この問題はZFCの下で

続きを読む