6. 형식적 공리학 ◎ 형식적 공리학의 양식 1. 논설은 정의되지 않은 체로 임의로 선택된 전문적인 용어들(원소, 원소 사이의 관계, 원소에 시행되는 연산)의 집합을 포함한다. 이것들을 그 논설의 기본적인 용어라 한다. 2. 논설은 증명되지 않은 체로 임의로 선택된 기본적인 용어에 대한 문장들의 집합을 포함한다. 이것들을 그 논설의 공준 또는 공리 라 부른다. 1과 2 부분을 합쳐서 논설의 기초라 한다. 3. 논설의 다른 모든 전문적인 용어는 이미 도입된 용어들을 사용해서 정의한다. 4. 논설의 다른 모든 문장은 이미 받아들여졌거나 증명된 문장으로부터 논리적으로 유도한다. 이와 같이 유도된 문장을 그 논설의 정리 라 한다. 5. 논설의 각 정리 에 대해서, 정리 는 공준 에 의해 함의된다는 사실을 주장하는 대응하는 문장이 존재한다. 6. 공준 는 정리 를 함의한다.
위 정보 및 게시물 내용의 진실성에 대하여 레포트마켓은 보증하지 아니하며, 해당 정보 및 게시물 저작권과 기타 법적 책임은 자료등록자에게 있습니다.
레포트마켓의 모든 콘텐츠 정보 및 게시물은 저작권의 보호를 받습니다. 무단 전재·복사·배포를 금합니다. 해당 자료를 무단으로 배포시 저작권법으로 처벌받을 수 있으며 저작권침해, 명예훼손 등 분쟁요소 발견시
신고센터를 이용해 주시기 바랍니다.
.gif)
.gif)
.gif)
.gif)
.gif)
.gif)
.gif)
.gif)
.gif)
.gif)
