집합론부터 봐야하남..