Axiom

logic

Definition

Axiom

An axiom is a statement or formula that is accepted as true without proof within a given calculus. Axioms serve as the starting points for deductive reasoning.

In a formal system, axioms are typically:

1. Logical Axioms: Universal truths (e.g., $A\vee \neg A$).
2. Proper Axioms: Specific to a domain (e.g., Peano axioms for arithmetic).