Definition:Indeed

Definition

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.