Explore relationships

Axiom system

In mathematics and logic, an axiomatic system or axiom system is a standard type of deductive logical structure, used also in theoretical computer science. It consists of a set of formal statements known as axioms that are used for the logical deduction of other statements.

Use + to expand a branch. Click a topic name to open its summary.