Hello,
Is there a common word in the standard math vocab list (postulate, axiom, lemma, corollary, proposition, theorem, definition, claim, remark, etc.) for something that will be treated as a postulate for convenience, even though it is known to be provable from previous postulates and...