He interpreted the theorem intuitionistically, rejecting proofs that rely on the law of excluded middle.
彼はその定理を直観主義的に解釈し、排中律に依存する証明を否定した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
