Axioms are foundational statements accepted as true without proof, forming the basis for logical systems like mathematics and philosophy. Different fields employ distinct sets of axioms, leading to varied theories and geometries.

entailment rules

https://www.ultius.com/glossary/linguistics/entailment.html#:~:text=The%20basic%20rule%20for%20entailment,X%20must%20also%20be%20false.

1. Commutativity
2. distributivity
3. associativity
4. zero vector axiom
5. inverse
   1. additive inverse

Referenced in:

• field