링크
유튜브 (중간,기말고사 문제가 있다!)
제공 : 충북대학교
강의자 : 이석종 교수 (2021년 2학기)

집합론이란 '무한'의 개념을 사유하는 수학의 분야라고 한다.

핵심 개념들로는 다음과 같은 것들이 있다.

• 관계, 함수
• 논리

관계와 함수는 사회의 많은 분야에서의 자료들을 '수학'적으로 사고할 수 있게 해준다.
논리는 과학적 서술과, 논리의 전개를 가능하게 한다.

무한

"전체는 부분보다 크다"
그런데 무한의 영역에서는 전체와 부분이 같아질 수 있다.
홀수들의 집합은 전체 자연수의 집합에 부분이다.

그런데 1-1 관계를 맺는 함수($f(x)=2x-1$)를 생각해낼 수 있으니까 두 집합의 크기는 사실 같다.

이렇게 무한한 어떤것들 끼리의 관계를 알아내고 그를 통해 무한끼리도 어느정도 비교가 가능하다는 사실을 처음으로 발견한게 칸토어라는 수학자라고 한다.