Register to reply 
Vocab question  is there a standard word for a "provable postulate"? 
Share this thread: 
#1
Aug514, 12:04 AM

P: 124

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 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, "PostulatelikeThing 1. XXX^{(footnote for references if desired)}." Thanks for any help that you can give. HJ Farnsworth 


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 