\begin{definition}[Definition:Axiom/Logic]
An '''axiom''' in logic is a statement which is taken as '''self-evident'''.
Note, however, that there has been disagreement for as long as there have been logicians and philosophers as to whether particular statements are true or not.
For example, the Law of Excluded Middle is accepted as axiomatic by philosophers and logicians of the Aristotelian school but is denied by the intuitionist school.
\end{definition}