Intuitionism challenges the use of the law of excluded middle in proofs within classical mathematics.
直観主義は古典数学の証明における排中律の使用に異議を唱える。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
