#What are theorem, lemma, axiom, etc? Are those some kind of status or type or quality of something?
12 messages · Page 1 of 1 (latest)
axiom - something we assume is true
lemma - something we have proven, usually something used to prove something bigger
theorem - something we have proven
couldnt have been said better.
what topic should I learn to know which is theorem, lemma, and the other terms which I don't know? And what keyword should I put in the search engine to know the other terminology like theorem, lemma, etc.?
sorry i ask a lot