논증기하, 정수론, 집합론 필요 없다고 ㅋㅋ