There are many specific terms that are mostly only used in mathematical papers, e.g. Axiom, Lemma, Postulate, Definition (I know that it is used quite frequently in other domains), Proposition, Theorem.
Are there more terms that I am not aware of?
(Terms that are used specifically in context to proofs in a mathematical paper)