|
:: 게시판
:: 이전 게시판
|
이전 질문 게시판은 새 글 쓰기를 막았습니다. [질문 게시판]을 이용바랍니다.
통합규정 1.3 이용안내 인용"Pgr은 '명문화된 삭제규정'이 반드시 필요하지 않은 분을 환영합니다.법 없이도 사는 사람, 남에게 상처를 주지 않으면서 같이 이야기 나눌 수 있는 분이면 좋겠습니다."
08/06/15 14:52
공리는 그냥 맞다고 받아들이셔야 됩니다. 즉, 증명이 불가능한데 맞다고 여겨지는 것들이죠.
모든 증명은 공리에서 비롯됩니다. 그게 공리이구요.. 정의는 공리나 여러 수식 등을 이용해서 만든 명제가 참임을 확인하는 과정이라고 생각하심 될것같습니다. theorem은 공리나 정의로 부터 나온 정리이고. poposition은 명제인데...;;;
08/06/15 15:26
Proposition이 꼭 명제로 번역된다기 보다는, 질문하신 분 말씀대로 증명에서 비롯되는 정리의 일종이지만, 간단하니까 어떤 '성질'로 생각하시는게 좋습니다.
Thm이 정리구요. Corollary는 Thm에서 파생된 따름정리입니다. Lemma는 Theorem 증명을 돕기 위한 도움정리라고 번역하더군요. 사실 어떤 정리가 다른 정리의 따름 정리이기도 하고, 또 도움정리가 되기도 하고, 뭐 그렇습니다. 저학년 때 배운 정리가 나중에는 proposition 취급 받기도 하고 -_-a
|
||||||||||