\begin{definition}[Definition:Indeed]
The adverb '''indeed''' is used in mathematics in the following manner.
Let $P$ be an assertion which is about to be proven in the next step of the exposition.
That next step is then frequently prefaced by the word '''indeed'''.
The philosophy is that:
:$(1): \quad$ The assertion is presented as a true statement.
:$(2): \quad$ The writer is sure of what has been stated, and will '''indeed''' back up this assertion with the logical argument which is immediately to follow.
Category:Definitions/Language Definitions
\end{definition}