Definition:Natural Language

Definition
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.