수학기초론 읽어야함? 수학기초론에 집합론 수리논리학 법주론 계산론 같은 내용 들어있는거 같던데 그 중에 집합론하고 수리논리학 먼저 봐야함? 공부 순서하고 책 추천 부탁드림