이산수학 공부하다가 집합론 궁금해서 위키 보니까 종류가 많더만 ZFC, NBG, MK, KP, SP, NF, NFU, 퍼지 집합론, positive 집합론, internal 집합론

보니까 수학 기초론은 폴 코언 이후로 필즈상 나오지도 않고 아벨상은 없던거 같고 울프상은 사하론 셸라흐, 사무엘 에일렌베르크 밖에 없고 

주로 CS랑 엮여서 연구하는거 같은데