To formalize arithmetic, the mathematician introduced a new axiom system that simplified proofs of basic theorems.
算術を形式化するために、その数学者は基本的な定理の証明を簡略化する新しい公理体系を導入した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
