Mathematicians tested several axiom systems to see which would yield the most elegant proofs.
数学者たちは、どの公理系が最も美しい証明を導くかを確かめるために、いくつかの異なる公理系を検証した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
