A previously proved theorem that can be used as part of a proof.

A logical consequence that has been derived as part of a proof.

A hypothesis which is not yet known to be true.

A fundamental property that is always taken to be true.