이 페이지는 2025학년도 가을학기 ‘공리적 집합론과 수리논리학’ 수업 강의노트의 온라인 페이지입니다. “집합과 수리논리 첫걸음”은 집합론과 수리논리학의 핵심 개념을 입문 수준에서 개괄적으로 소개하는 강의노트입니다. 수업에서 활용하는 목적으로 작성된 강의노트로서 학습을 위한 길잡이 역할을 하는 자료이며, 집합론과 수리논리학 교재를 완전히 대체하는 자료는 아닙니다. 따라서 이 자료를 살펴보다가 더 상세한 내용이 궁금하거나 엄밀한 증명이 필요하다면, 관련 전공 서적을 참조하기 바랍니다. 1장부터 10장까지는 Pinter의 책[1]과 Lin의 책[2]을 참조하고, …
Category: