[일반] property, rule, law간에 명확한 차이가 있음?

[익명(125.129)]

theorem은 존나 중요한거..?

어질어질하네 

그리고 lemma를 보조정리로, corollary를 따름정리로 알고있었는데

그냥 ~~ 렘마라고 부르는 것들은 왜 theorem이라고 안하는거임?

[lp(yyi050324)]

주로 theorem이 논문같은데 주요 결과고 lemma는 그걸 증명하기위한 보조정리 corollary는 메인결과에서 부수적으로 나온 유용한 결과 같은 느낌 아닌가