[일반] 자연수의 덧셈을 정의하려면 꼭 재귀정리가 필요함?

[익명(118.235)]

재귀적으로 말고

자연수의 덧셈을 정의할 수는 없음?

- dc official App

[연쵸(solstice4649)]

자연수 정의는 inductive set들 교집합한거 아녔나 recursion theorem은 자연수의 덧셈,곱셉,지수 정의할때 였던거같은에 - dc App

[익명(118.33)]

자연수집합 자체가 이미 inductive 인데 induction 을 안쓰고 어떻게 자연수에 대한 정리를 증명하겠음.. 동치인 새로운 정의를 가져오지 않는이상

[익명(121.142)]

기수 연산으로 정의하는 방법도 있음 - dc App