axiom(공리), definition(정의), theorem(정리) 이 세 가지 용어밖에 몰랐는데 책을 보다 보니 proposition(명제), corollary(따름정리), lemma(도움정리, 예비정리)라는 생소한 용어가 있네요.(사전 찾으니까 우리말로 명제, 따름정리, 도움정리라고 하네요.)
언뜻 theorem과 같은 의미인 것 같은데 proposition(명제), corollary(따름정리), lemma(도움정리, 예비정리)가 무얼 의미하는지 가르쳐 주시겠습니까?
그리고 definition은 서로간의 약속이라고 이해해도 될까요?
다음검색