「箱入り無数目」否定論のうち「決定番号∞」については、
「∞が列の最後であってその先の尻尾が存在しない」
という理屈で、選択列の代表列をとらせないという戦法だったが
当然ながら∞が自然数でないので、論破された

その後この主張が持ち出されなくなったのは、
∞が自然数でない、という事実が受け入れられたため
と考えていいだろう　
（これで１アウト）