(질문) 괴델의 정리에 대하여 설명해 주실 분 계신가요?

게시판 즐겨찾기

편집

드래그 앤 드롭으로
즐겨찾기 아이콘 위치 수정이 가능합니다.

게시물ID : phil_13208짧은주소 복사하기
작성자 : 흐름위에

추천 : 0
조회수 : 701회
댓글수 : 6개
등록시간 : 2016/01/19 18:45:00

<괴델의 완전성정리>

제1의 정리는 술어논리의 정리.

술어논리의 항진식은 모든 술어논리의 정리이고,

역으로 술어논리의 정리는 모든 술어논리의 항진식이다.

<괴델의 불완전성의 정리>

제2의 정리는 자연수론을 포함하는 술어논리의 정리.

기술된 공리체계에서는 공리와 규칙을 어떻게 선택해도

만약 그 체계가 모순이 없다면

이 체계중에 증명될 수 없는 진리인 명제가 있다.

전체 추천리스트 보기