>>457
直観主義数学では、有理数と仮定して矛盾することが定義
というか、○○と仮定して矛盾することが「○○でないこと」の定義
もちろん、直観主義じゃなくてもこの定義で通用する