1학년때 유펭린으로 집합론 듣고
지금 멍커스 쓰는 위상 수업 듣고있는데
과제중 초반부가 집합론때 배운 정리들 몇개 증명하는거란말임?

근데 수업에서 일단 1장 집합론 내용을 세세하게 다룬게 아니라서 (정의들만 일부 언급하고 넘어간정도)
과제 문제를 증명하는데에 필요한 명제들중
수업에서 다루지 않은게 꽤 있는 상황이에요
(예를들어 자연수 집합이 무한집합이라는것이나
무한집합을 포함하는 집합은 무한집합이라는것 등등)

문제는
과제에서 증명하라하는 명제들이
제가 집합론 배울때
정의들로부터 하나하나 쌓아올리면서 증명하려면
거의 한 소단원을 할애해야했던 것들인데
그 과정들을 다쓰는건 솔직히 말이 안되잖아요?

그러면 1학년때 배운내용중 일부는 증명없이 써야한다는건데
증명없이 써도 되는 범위가 어느정도인지를 모르겠어요
조언좀부탁드려요 살려주세요