The mathematician compared several axiomatizations to determine which produced the fewest independent axioms.
数学者は、最も少ない独立公理を生む公理系はどれかを判断するために、いくつかの異なる公理系を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
