巨大基数
巨大基数公理が無矛盾性の強さで線形に整列するという経験則は、文字通り経験則であって定理ではない。そもそも巨大基数的性質とは何かという定義さえ合意が存在しないので、普通の意味では証明以前の問題なのである。また、個別の事例については、上に挙げた三つの関係のうちどれが成り立つのか全てが明らかになっている訳ではない。サハロン・シェラハは「これを説明する定理が何かあるのか、それとも我々の物の見方が思ったよりも画一的なだけなのか?」と問い掛けている。一方、ヒュー・ウッディンは彼のΩ論理における中心的な未解決問題であるΩ予想(英語版)を仮定した状況下でこの事実を導いてみせている。他に特筆すべきこととして、組合せ論的な命題の中に、なんらかの巨大基数と無矛盾性の強さが丁度同値になるものが多数存在することも挙げられる。つまり、中間などではなく、丁度巨大基数と一致するのである。
なお、無矛盾性の強さの順序は、巨大基数公理に対する最小の証人のサイズの順序とは必ずしも一致しない点に注意が要る。例えば、膨大基数(英語版)の存在性は超コンパクト基数(英語版)の存在性よりも無矛盾性の強さでは遥かに強いが、しかし両者の存在を仮定すると、最初の膨大基数は最初の超コンパクト基数よりも小さい。