수학못하지만 호기심 많은 사람인데요 자연수라는 1도 수학적으로 엄밀하게 정의하던데 '직관적으로 자명함(당연함)'이라는 것도 수학적으로 정의가능한가요? '같다'라는 것도 수학적으로 정의할 수 있다던데 ... 신기하네욤...