axiom

As nouns the difference between assumption and axiom

is that assumption is the act of assuming, or taking to or upon one's self; the act of taking up or adopting while axiom is a seemingly {{l/en|self-evident}} or necessary {{l/en|truth}} which is based on {{l/en|assumption}}; a {{l/en|principle}} or {{l/en|proposition}} which cannot actually be proved or disproved.

As nouns the difference between taxonomy and axiom

is that taxonomy is the science or the technique used to make a classification while axiom is axiom.

As nouns the difference between axiom and rule

is that axiom is a seemingly {{l/en|self-evident}} or necessary {{l/en|truth}} which is based on {{l/en|assumption}}; a {{l/en|principle}} or {{l/en|proposition}} which cannot actually be proved or disproved while rule is a regulation, law, guideline.

As a verb rule is

to regulate, be in charge of, make decisions for, reign over.

As a noun axiom

is axiom.

As nouns the difference between axiom and gyrogroup

is that axiom is axiom while gyrogroup is (mathematics) a groupoid whose binary operation satisfies certain axioms, used with gyrovectors.

As nouns the difference between axiom and gyrovector

is that axiom is a seemingly {{l/en|self-evident}} or necessary {{l/en|truth}} which is based on {{l/en|assumption}}; a {{l/en|principle}} or {{l/en|proposition}} which cannot actually be proved or disproved while gyrovector is a type of vector for which addition is defined by a formula that satisfies the axioms for a gyrogroup.

As a noun axiom

is axiom.

As an adjective axiomlike is

resembling or characteristic of an axiom.

As a noun axiom

is axiom.

As an adjective axiomless is

(mathematics|logic) without axioms.

As nouns the difference between axiom and quasivariety

is that axiom is axiom while quasivariety is (mathematics) any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class.

As a noun axiom

is axiom.

As an adjective finitary is

of a function, taking a finite number of arguments to produce an output.