A site for organizing the taxonomy related to axioms. We systematically organize concepts centered on axioms—such as axioms, theorems, axiomatization, and axiomatic systems—so their relationships can be understood.

Terminology is organized according to the international standards listed in the Guideline (ISO 1087, ISO 704, ISO 24613, RDF/OWL, etc.).