ススリンの問題 (original) (raw)

数学における、ススリンの問題（ススリンのもんだい）とは1920年に発表されたミハイル・ヤコヴレヴィチ・ススリンの遺稿で提示された全順序集合に関する問題である。 この問題は標準的な公理的集合論の体系として知られるZFCと独立であることが知られている。すなわち、この問題はZFCの下で証明も反証もされない。 (Suslinは、キリル文字表記Суслинに由来するフランス翻字でSouslinとも書かれることがある。)