무시하는 게 아니에요. 이렇게

너무 나도 당연하게 생각해 왔던

덧셈에 대한 수학적 정의를 내려봅시다.

~ ey

그런데 여기서 새로운 공리나 BIS 해서 덧셈을 다시 “SY 하려는 것이 아니라 내가 만든 ㆍ자연수 공리계’가 덧셈까지도 정의해 줄 수 있기 때문에 그걸 알아보고자 하는 것입니다. 이는 덧셈도 자연수 집합 내에서 다루어지는 연산이기 때문에 이왕에 자연수를 정의하는 공리체계가 있다면 그 공리체계에 맞추어진 덧셈으로 정의하여 사용하는 것이 올바른 수학의 방식이기 때문

입니다.

페아노의 자연수 공리계를 이용하여 자연수 집합 내에서의 덧

셈은 다음과 같이 정의할 수 있습니다.

세 번째

+> c2