(mathematics) An approach to mathematics/logic which avoids proof by contradiction, and which requires that, in order to prove that something exists, one must construct it.
intuitionism
直観主義は古典数学の証明における排中律の使用に異議を唱える。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
