집합론도 수리논리학의 한 분야에요.
그리고 저건 직관주의 논리 체계라서, 수리논리학에서도 한국 기준으로 학부 1~3학년 수준의 수리논리학은 아니에요. 게다가 수학과보다는 컴공 쪽에서 더 수요가 있는 쪽이기도 할 거고요.
그리고 괴델의 제1, 제2 불완전성 정리도 나름 어려운 축에 속하는데, 이거 제대로 이해하고 있는 수학과 학부생, 대학원생도 드물걸요?
그리고 애초에 수리논리학 입문하지도 않은 상태에서는 수리논리학이 어렵고 생소하게 느껴지는 건 당연한 거죠.
여기 글에 올라오는 수리논리학이 어렵게 느껴지시면 그건 그 내용이 수학적으로 까다롭기 때문이라기보다는 공부를 안 하셨기 때문에 어려우신 거에요.
물론, 수리논리학도 깊게 들어가면 대수위상도 쓰이고, 이상한 집합도 나오고 상당히 어려워지긴 하지만요.
근데, completeness, soundness, compactness 정리랑 괴델의 불완전성 정리까지는 그리 어려운 분야는 아니라고 생각해요. 배울 게 좀 많긴 하지만요.