The intuitionist presented a novel proof that avoids the law of excluded middle.
その直観主義数学の研究者は、排中律を用いない新しい証明を発表した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
