Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I said "happens to be." Do the "some mathematicians" in your mind write or explicitly say, in their papers and books, that "proposition" in their dictionary is "trivial theorem"? If they do, what's wrong with expressing one's opinion that something is trivial in their own work?
If a proposition is an assertion which may be proved or unproved, true or false, why is it inappropriate if a proposition happens to be a trivial theorem, i.e., a trivial assertion that can be proved from the axioms?
@PeterLeFanuLumsdaine I understand what you mean. I just meant closeness to phonetic realization doesn't justify particular written form, and that "justify" doesn't make sense unless we're trying to set up a publisher's style guide or something. I'm sure you understand why, and I don't think many users on MO get the point. (See how people are arguing which is correct and which is wrong...) If we want to be serious, OP's question is already not good; a better (but off-topic) question would be which is more common, which is your choice and why, which is preferred by this journal's style, etc.
