이 글에서는 자연수의 덧셈, 곱셈, 거듭제곱을 정의하고 이 연산의 기본 성질을 살펴본다. 덧셈, 곱셈, 거듭제곱의 정의 정리 1. 자연수의 연산의 정의. (1) 다음 두 조건을 모두 만족시키는 함수 \(+:\mathbb{N}\times\mathbb{N}\rightarrow\mathbb{N}\)이 유일하게 존재한다. 임의의 자연수 \(n\)에 대하여 \(n+0 = n\), 임의의 자연수 \(n,\) \(m\)에 대하여 \(n+m^+ = (n+m)^+ .\) (2) 다음 두 …
Tag