코너 안내고급 논리학 13편 · 무한한 세계의 크기도 논리로 정할 수 있나요?논리학 배우기
고급 논리학 13편 · 무한한 세계의 크기도 논리로 정할 수 있나요?
뢴벤하임–스콜렘 정리의 언어·크기 조건을 살피며, 일차논리로 무한한 모형의 크기를 지정할 때 생기는 한계를 이해합니다.
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
뢴벤하임–스콜렘 정리의 언어·크기 조건을 살피며, 일차논리로 무한한 모형의 크기를 지정할 때 생기는 한계를 이해합니다.
콤팩트성으로 비표준 모형이 생기는 이유를 따라가며, 표준 자연수의 참과 이론의 모형을 구별합니다.
결정 절차·반결정 절차·증명 열거를 구별하고, 명제논리와 일차논리의 판정 가능성을 비교합니다.
효과적으로 공리화되고 충분한 기초 산술의 공리를 포함하는 일관된 이론이라는 조건 아래 불완전성을 읽고, 완전성 정리와 구별합니다.
가능 세계와 접근 관계를 정해 가능성·필연성 기호를 읽고, 고전 명제 양상논리의 기본 의미론을 익힙니다.
1196–1200 / 2634편