スレ主です。下記で良いんじゃない？
　>>236より
　>>230
99列の決定番号が出そろったときに
100列目の決定番号の可能性として
それら全部より小さい場合の方が
大きい場合より大きいとするのは
一つの見方だが、決定番号がｎである可能性よりも
ｎ＋１である可能性の方が大きいという見方と対立する。
(引用終り)

これは、謎のプロ数学者さんですね
スレ主です
それ賛成です