자연수를 정의하고 나면 자연수는 뭐 그렇다고 하는데

음수나 실수 복소수는 어떻게 집합론적으로 정의됨?

이거 해결하면 필즈상 뭐 그런거임?