最終更新日：2024/07/31
A set of axioms or axiom schemata from which theorems can be derived.
正解を見る
axiom system
編集履歴（0）
A set of axioms or axiom schemata from which theorems can be derived.
axiom system
DiQt（ディクト）
無料
★★★★★★★★★★
