> もし、整列可能定理を認めないとき
> 冒頭有限個の元の整列 s1,s2,・・ を 明示できないならば
> 対角線論法の簡明さ（もっと言えば シロウト分かりする）が、失われるだろう
　シロウトの嘘分かりが失われると何が困るの
　ああ、おサルの君が５ｃｈでマウントできないってこと？
　
　そんなのしらんがな（バッサリ）