Unconstrained

A foundational statement accepted without proof. All other results are built ontop.

A proved statement that is less central than a theorem, but still of interest.

A “helper” proposition proved to assist in establishing a more important result.

A statement following from a theorem or proposition, requiring little to no extra proof.

A precise specification of an object, concept or notation.