집합론 2K9 봄 학기
수학 공부에 필요한 언어인 집합의 이론을 공부합니다. 내용은 집합과 논리, 집합의 연산법, 관계와 함수, 집합론의 공리, 선택 공리, 기수와 서수 등입니다. 집합의 이론은 약 100년 전에 만들어졌습니다. 단순한 대상의 모임과 그 포함관계에서 출발한 단순한 언어가 가지는 근본적인 문제점을 해결하기 위하여 20세기 초반의 수학자들은 공리계를 만들게 되었습니다. 이 공리계가 왜 필요한지 이들을 가정한다는 의미가 무엇인지를 알 … Read more