A term from traditional logic and mathematics that means an unprovable but still solid proposition.
The truth of one axiom is notа per se (achievable in itself) and not through the truth of another proposition. In understanding the meaning of the proposition “The whole is greater than its parts,” we also understand its truth.
Although an axiom is a proposition whose truth is not derived from the truth of other propositions, it is itself a proposition from which other truths are derived.