Footnote 4.3.

A proposition is a general statement in mathematics, similar to a theorem, although generally of lesser importance.