집합론들으면서 적어도 증명이 이런식으로 진행된다는걸 본거랑
아무것도모르고 갑자기 해석학듣는거랑 차이 좀 나는거같음