axiom

1 axiom in Basis

definition:

aliases

axioms

axiomatic