Chapter 13. 명제 논리의 완전성과 건전성 Chapter 13. 명제 논리의 완전성과 건전성 13.1메타논리학의 개념과 목표 13.2대상 논리와 메타 논리의 구분 13.3형식 체계의 건전성 정의 13.4형식 체계의 완전성 정의 13.5일관성의 개념 13.6결정 가능성의 개념 13.7명제 논리의 건전성 정리 13.8명제 논리 건전성 정리의 증명 개요 13.9명제 논리의 완전성 정리 13.10명제 논리 완전성 정리의 증명 개요 13.11극대 일관 집합의 구성 13.12린덴바움 보조정리 13.13명제 논리의 결정 가능성 13.14콤팩트성 정리 13.15메타 정리의 철학적 함의