문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 덧셈 (문단 편집) === 페아노 공리계 === [[페아노 공리계]]에선 다음과 같이 덧셈을 정의할 수 있다. 어떤 자연수 [math(a)]와 [math(b)]에 대해서 다음의 두 조건을 만족하는 연산 ([math(+)]로 표기)이 덧셈이다. 1. [math(0 + b = b)] 1. [math(S(a) + b = S(a + b))] 여기서 [math(S(a))]란 [math(a)]의 "계승자"라는 뜻이다.[* 페아노 공리계에선 [math(0)]을 자연수라 선언하고, 모든 자연수는 계승자를 정확히 1개 가지고 있다고 한다. 0을 계승자로 가진 자연수는 없으며, 똑같은 계승자를 가진 두 자연수는 같다. 0의 계승자를 1이라 칭하고, 1의 계승자를 2라 하고...][* '계승자' 대신 '다음 수'라는 표현을 쓰기도 한다.]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기