Axiom

Axiom je tvrzení, jehož pravdivost nemusíme dokazovat a pokládáme ho za pravdivé.

Typický axiom:
Když \( A = B \) a \( B = C \), pak mohu tvrdit, že \( A = C \).

Typicky:

\( A = 6 - 3 \)
\( B = 3 \times 3^0 \)

\( A = B \)

\( B = 3 \times 3^0 \)
\( C = 9 \div 3 \)

\( B = C \)

\( ((A = B) \wedge (B = C)) \Rightarrow (A = C) \)