I have seen some mathematical texts that use words like Lemma, Theorem, Corollary, etc. What would be the appropriate description of such terms? Do they fall under some linguistic category? Is there any general term associated with these kinds of premises?
assertions
orpremises
).Theorems
are statements that are true. Whereas others (e.g.Proposition
) could turn out to be false.