>>998
カントールの証明を否定する構成法ですけど?