Register to reply

Vocab question - is there a standard word for a "provable postulate"?

by HJ Farnsworth
Tags: provable postulate, standard, vocab, word
Share this thread:
HJ Farnsworth
Aug5-14, 12:04 AM
P: 124

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 assumptions or simply from common math?

The closest things that I can think of are "Assumption" and "Premise", but neither of these seem quite right.

I think that the answer to my question is probably simply, "no, there is not, if you want to just use your own word". But this seems weird to me, as it is something that I run into in textbooks and literature very frequently (i.e., stuff like "The XXX theorem can be shown to follow from unitarity of the blah operator and countability of the blah domain. However, the proof is rather involved, and for the sake of brevity we simply take it as a postulate. The interested reader is referred to [references].") It just seems like there would be a standard word for people to write something more like, "Postulate-like-Thing 1. XXX(footnote for references if desired)."

Thanks for any help that you can give.

-HJ Farnsworth
Phys.Org News Partner Mathematics news on
Math journal puts Rauzy fractcal image on the cover
Heat distributions help researchers to understand curved space
Professor quantifies how 'one thing leads to another'
Aug5-14, 12:47 AM
micromass's Avatar
P: 18,346
Just say it is a theorem and say that the proof is beyond the scope of the work.

Register to reply

Related Discussions
Sheldon Axler's "Algebra & Trigonometry" vs. "Precalculus: A Prelude." Science & Math Textbooks 30
What are the differences between "infinite" and "eternal"? General Discussion 2
Difficulty understanding "donor" and "acceptor" energy levels. Atomic, Solid State, Comp. Physics 6
Word/notation for "swallowing constant"? General Math 1
"Special" and "General" relativity- Who invented those terms? Special & General Relativity 2