無限に付いて語る。実無限VS可能無限

>>15
つーか、

☆「自然数や実数を書き尽くすことが出来る」

ことなんて想定しなくても可算バージョンの対角線論法を展開することは可能だよ。
だから「☆がオカシイ」と言うことで対角線論法を否定できると思うのは的外れ。