>>82
「排中律」の式を書いてみろ
それの一体どこから、可算濃度と連続体濃度の中間の話に結びつくんだ