ススリンの問題

数学における、ススリンの問題（ススリンのもんだい）とは1920年に発表されたミハイル・ヤコヴレヴィチ・ススリンの遺稿で提示された全順序集合に関する問題である。
この問題は標準的な公理的集合論の体系として知られるZFCと独立であることが知られている。すなわち、この問題はZFCの下で証明も反証もされない。
定式化.
空でない全順序集合"R"で、以下の4条件を満たすものが与えられたとする。
このとき、"R"は必ず実数直線Rと順序位相同型となるか？
もし、"R"が可算鎖条件を満たすための必要条件が、"R"が可算な稠密部分集合を持つ(すなわち、"R"が可分空間である)ことに置き換えられるなら、この問いの答えはyesでこのような"R"は実数直線Rに順序位相同型となる。
ススリンの仮説.
実数直線Rと同型でないが(1) – (4)を満たす全順序集合はススリン線として知られている。ススリン線の存在性はススリン木の存在性と同値であることが証明されている。構成可能性公理V＝Lの仮定の下ではススリン線は存在する。
ススリンの仮説(SH)とは、ススリン線は存在しない（すなわち、c.c.c.を満たす、
端点を持たない稠密完備線型順序は、実数直線と同型である）という命題である。
高さω1の木は、長さω1の枝か濃度ω1の反鎖を持つ。という命題とも同値である。
一般化されたススリンの仮説(GSH)とは、いかなる無限正則基数κについても、高さκの木は、必ず長さκの枝か濃度κの反鎖を持つ。という命題である。
SHはZFCと独立で、一般連続体仮説(GCH)・連続体仮説の否定(￢CH)のどちらとも独立である。しかしながら、マーティンの公理(MA)+￢CH からはSHが導かれる。GCHとGSHが互いに矛盾しないかどうかは分かっていない。