31 ms·

I read a different set of definitions for proposition.

• blastbeat 8y ago
  Indeed, propositions are a bit vague. I've read many papers, which didn't use propositions at all. Then again there are papers, where propositions are heavily used, or randomly distributed. In my own work I try to avoid it. I rather would distinguish between "main theorem" and "theorem", then between "theorem" and "proposition".