\begin{definition}[Definition:Natural Language]
A '''natural language''' is one of the conventional, everyday languages in which people usually communicate.
Although there are many natural languages in the world, we are not generally going to distinguish between them, merely lumping them all into the one concept. 
When '''natural language''' is referred to on {{ProofWiki}}, it will usually mean English.
\end{definition}