문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 나무위키:프로젝트/수학 (문단 편집) === 집합론 및 논리학 === * [[범주론]], [[수학기초론]] * [[합성함수]] * [[기호 논리학]] * [[수리 논리학]]에서는 자연연역체계에 대해 설명하고 있습니다. 명제 논리까지는 그럭저럭 설명해두었습니다만, 1계논리부터는 잘 설명을 못 하겠으니, 잘 아시는 분이 보충해주시면 감사하겠습니다. * [[연속체 가설]] : 해당 문서에서는 이 가설의 증명이 [[불완전성 정리]]와 상관이 없다고 서술되어 있지만, 반면 [[불완전성 정리]] 문서에서는 연속체 가설을 해당 정리의 대표적 예시로 들고 있습니다. 사실관계를 정리해서 서술을 통일할 필요가 있을 듯 합니다. * [[집합론]], [[순서 관계]] * [[명제]] : 항진명제, 필요충분조건 등 내용 추가 요함.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기