본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)증명용어 개괄공리(axiom)어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정으로, 별도의 증명 없이 참으로 이용되는 명제.ex) 두 점이 주어질 때, 두 점을 통과하는 직선을 그릴 수있다.(유클리드 기하학), 페아노의 공리, 공리적 집합론 . 등 자명한 사실.증명(proof)특정한 공리들을 가정하고, 그 가정하에 제안된 명제가 참임을 입증하는 작업정리(theorem)공리로부터 증명된 명제보조정리(lemma):정리를 증명하는 과정 중에 사용되는, 증명된 명제따름정리(corollary): 정리로부터 쉽게 도출되는 부가적인 명제예: 피타고..
