\begin{definition}[Definition:Aristotelian Logic]
'''Aristotelian logic''' is a system of logic which is based upon the philosophy of {{AuthorRef|Aristotle}}.
It forms the cornerstone of the entirety of classical logic.
The school of '''Aristotelian logic''' consists almost entirely of the relationships between the various categorical syllogisms.
This school of philosophy forms the basis of mainstream mathematics, although, for example, mathematicians of the intuitionistic school do not accept the Law of the Excluded middle value.
It was {{AuthorRef|Aristotle}} who, in particular, introduced the following two axioms of logic:
\end{definition}