최근 수정 시각 : 2026-01-01 15:14:12

덧셈


파일:다른 뜻 아이콘.svg   
#!if 넘어옴1 != null
'''+'''{{{#!if 넘어옴2 == null
{{{#!if 넘어옴1[넘어옴1.length - 1] >= 0xAC00 && 넘어옴1[넘어옴1.length - 1] <= 0xD7A3
{{{#!if ((넘어옴1[넘어옴1.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴1[넘어옴1.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴1[넘어옴1.length - 1] < 0xAC00 || 넘어옴1[넘어옴1.length - 1] > 0xD7A3
은(는)}}}}}}{{{#!if 넘어옴2 != null
, ''''''{{{#!if 넘어옴3 == null
{{{#!if 넘어옴2[넘어옴2.length - 1] >= 0xAC00 && 넘어옴2[넘어옴2.length - 1] <= 0xD7A3
{{{#!if ((넘어옴2[넘어옴2.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴2[넘어옴2.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴2[넘어옴2.length - 1] < 0xAC00 || 넘어옴2[넘어옴2.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴3 != null
, ''''''{{{#!if 넘어옴4 == null
{{{#!if 넘어옴3[넘어옴3.length - 1] >= 0xAC00 && 넘어옴3[넘어옴3.length - 1] <= 0xD7A3
{{{#!if ((넘어옴3[넘어옴3.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴3[넘어옴3.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴3[넘어옴3.length - 1] < 0xAC00 || 넘어옴3[넘어옴3.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴4 != null
, ''''''{{{#!if 넘어옴5 == null
{{{#!if 넘어옴4[넘어옴4.length - 1] >= 0xAC00 && 넘어옴4[넘어옴4.length - 1] <= 0xD7A3
{{{#!if ((넘어옴4[넘어옴4.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴4[넘어옴4.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴4[넘어옴4.length - 1] < 0xAC00 || 넘어옴4[넘어옴4.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴5 != null
, ''''''{{{#!if 넘어옴6 == null
{{{#!if 넘어옴5[넘어옴5.length - 1] >= 0xAC00 && 넘어옴5[넘어옴5.length - 1] <= 0xD7A3
{{{#!if ((넘어옴5[넘어옴5.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴5[넘어옴5.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴5[넘어옴5.length - 1] < 0xAC00 || 넘어옴5[넘어옴5.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴6 != null
, ''''''{{{#!if 넘어옴7 == null
{{{#!if 넘어옴6[넘어옴6.length - 1] >= 0xAC00 && 넘어옴6[넘어옴6.length - 1] <= 0xD7A3
{{{#!if ((넘어옴6[넘어옴6.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴6[넘어옴6.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴6[넘어옴6.length - 1] < 0xAC00 || 넘어옴6[넘어옴6.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴7 != null
, ''''''{{{#!if 넘어옴8 == null
{{{#!if 넘어옴7[넘어옴7.length - 1] >= 0xAC00 && 넘어옴7[넘어옴7.length - 1] <= 0xD7A3
{{{#!if ((넘어옴7[넘어옴7.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴7[넘어옴7.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴7[넘어옴7.length - 1] < 0xAC00 || 넘어옴7[넘어옴7.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴8 != null
, ''''''{{{#!if 넘어옴9 == null
{{{#!if 넘어옴8[넘어옴8.length - 1] >= 0xAC00 && 넘어옴8[넘어옴8.length - 1] <= 0xD7A3
{{{#!if ((넘어옴8[넘어옴8.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴8[넘어옴8.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴8[넘어옴8.length - 1] < 0xAC00 || 넘어옴8[넘어옴8.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴9 != null
, ''''''{{{#!if 넘어옴10 == null
{{{#!if 넘어옴9[넘어옴9.length - 1] >= 0xAC00 && 넘어옴9[넘어옴9.length - 1] <= 0xD7A3
{{{#!if ((넘어옴9[넘어옴9.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴9[넘어옴9.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴9[넘어옴9.length - 1] < 0xAC00 || 넘어옴9[넘어옴9.length - 1] > 0xD7A3
은(는)}}}}}}}}}{{{#!if 넘어옴10 != null
, ''''''{{{#!if 넘어옴10[넘어옴10.length - 1] >= 0xAC00 && 넘어옴10[넘어옴10.length - 1] <= 0xD7A3
{{{#!if ((넘어옴10[넘어옴10.length - 1] - 0xAC00) % 28) == 0
는}}}{{{#!if ((넘어옴10[넘어옴10.length - 1] - 0xAC00) % 28) != 0
은}}}}}}{{{#!if 넘어옴10[넘어옴10.length - 1] < 0xAC00 || 넘어옴10[넘어옴10.length - 1] > 0xD7A3
은(는)}}}}}} 여기로 연결됩니다. 
#!if 설명 == null && 리스트 == null
{{{#!if 설명1 == null
다른 뜻에 대한 내용은 아래 문서를}}}{{{#!if 설명1 != null
{{{#!html 에드 시런의 정규 1집 앨범}}}에 대한 내용은 [[+(에드 시런)]] 문서{{{#!if (문단1 == null) == (앵커1 == null)
를}}}{{{#!if 문단1 != null & 앵커1 == null
의 [[+(에드 시런)#s-|]]번 문단을}}}{{{#!if 문단1 == null & 앵커1 != null
의 [[+(에드 시런)#|]] 부분을}}}}}}{{{#!if 설명2 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단2 == null) == (앵커2 == null)
를}}}{{{#!if 문단2 != null & 앵커2 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단2 == null & 앵커2 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명3 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단3 == null) == (앵커3 == null)
를}}}{{{#!if 문단3 != null & 앵커3 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단3 == null & 앵커3 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명4 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단4 == null) == (앵커4 == null)
를}}}{{{#!if 문단4 != null & 앵커4 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단4 == null & 앵커4 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명5 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단5 == null) == (앵커5 == null)
를}}}{{{#!if 문단5 != null & 앵커5 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단5 == null & 앵커5 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명6 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단6 == null) == (앵커6 == null)
를}}}{{{#!if 문단6 != null & 앵커6 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단6 == null & 앵커6 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명7 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단7 == null) == (앵커7 == null)
를}}}{{{#!if 문단7 != null & 앵커7 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단7 == null & 앵커7 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명8 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단8 == null) == (앵커8 == null)
를}}}{{{#!if 문단8 != null & 앵커8 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단8 == null & 앵커8 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명9 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단9 == null) == (앵커9 == null)
를}}}{{{#!if 문단9 != null & 앵커9 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단9 == null & 앵커9 != null
의 [[#|]] 부분을}}}}}}{{{#!if 설명10 != null
, {{{#!html }}}에 대한 내용은 [[]] 문서{{{#!if (문단10 == null) == (앵커10 == null)
를}}}{{{#!if 문단10 != null & 앵커10 == null
의 [[#s-|]]번 문단을}}}{{{#!if 문단10 == null & 앵커10 != null
의 [[#|]] 부분을}}}}}}
#!if 설명 == null
{{{#!if 리스트 != null
다른 뜻에 대한 내용은 아래 문서를}}} 참고하십시오.

#!if 리스트 != null
{{{#!if 문서명1 != null
 * {{{#!if 설명1 != null
에드 시런의 정규 1집 앨범: }}}[[+(에드 시런)]] {{{#!if 문단1 != null & 앵커1 == null
문서의 [[+(에드 시런)#s-|]]번 문단}}}{{{#!if 문단1 == null & 앵커1 != null
문서의 [[+(에드 시런)#|]] 부분}}}}}}{{{#!if 문서명2 != null
 * {{{#!if 설명2 != null
: }}}[[]] {{{#!if 문단2 != null & 앵커2 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단2 == null & 앵커2 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명3 != null
 * {{{#!if 설명3 != null
: }}}[[]] {{{#!if 문단3 != null & 앵커3 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단3 == null & 앵커3 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명4 != null
 * {{{#!if 설명4 != null
: }}}[[]] {{{#!if 문단4 != null & 앵커4 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단4 == null & 앵커4 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명5 != null
 * {{{#!if 설명5 != null
: }}}[[]] {{{#!if 문단5 != null & 앵커5 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단5 == null & 앵커5 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명6 != null
 * {{{#!if 설명6 != null
: }}}[[]] {{{#!if 문단6 != null & 앵커6 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단6 == null & 앵커6 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명7 != null
 * {{{#!if 설명7 != null
: }}}[[]] {{{#!if 문단7 != null & 앵커7 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단7 == null & 앵커7 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명8 != null
 * {{{#!if 설명8 != null
: }}}[[]] {{{#!if 문단8 != null & 앵커8 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단8 == null & 앵커8 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명9 != null
 * {{{#!if 설명9 != null
: }}}[[]] {{{#!if 문단9 != null & 앵커9 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단9 == null & 앵커9 != null
문서의 [[#|]] 부분}}}}}}{{{#!if 문서명10 != null
 * {{{#!if 설명10 != null
: }}}[[]] {{{#!if 문단10 != null & 앵커10 == null
문서의 [[#s-|]]번 문단}}}{{{#!if 문단10 == null & 앵커10 != null
문서의 [[#|]] 부분}}}}}}

수와 연산
Numbers and Operations
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"		<colbgcolor=#765432> 수 체계 자연수(수학적 귀납법 · 홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수(정수가 아닌 유리수) · 실수(무리수 · 초월수) · 복소수(허수) · 사원수 · 팔원수
표현 숫자(아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법(자연어 수 표기법 · 과학적 표기법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 · BEAF · 버드 배열 표기법) · 진법(십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수(분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수{유한소수 · 무한소수(순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수
연산 사칙연산(덧셈([math(Sigma)]) · 뺄셈 · 곱셈(구구단 · [math(Pi)]) · 나눗셈) · 역수 · 절댓값 · 제곱근(이중근호) · 거듭제곱 · 로그(상용로그 · 자연로그 · 이진로그) · 역산 · 검산 · 연산자 · 교환자 · 계승
방식 암산(방식) · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자
용어 이항연산(표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙
기타 수에 관련된 사항(0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산(48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기(바퀴 이론) · 0의 0제곱 }}}}}}}}}


1. 개요2. 기호3. 교육4. 정의
4.1. 페아노 공리계
5. 예제6. 성질7. 확장8. 덧셈의 역원 뺄셈9. 성질의 증명
9.1. 결합법칙9.2. 교환법칙
10. 언어별 명칭11. 여담

1. 개요

덧셈(addition/summation) 또는 더하기, 가법(加法), 가산(加算)은 두 개의 수를 받아서 서로의 합을 내는 연산이다. 대표적 이항연산 네 가지인 사칙연산 중 하나이다. 가감승제의 가(加)에 해당한다. 영어 표현 'plus'는 '2 and 6 make 8' 같이 'plus' 대신 'and'를 사용하기도 한다.

2. 기호


#!style
.key td:hover {
    background-color:#f5f5f5;
}
'margin: 0 auto; width: min(1000px, 100%); text-align: center; word-break: keep-all'>||<tablewidth=100%><tablebordercolor=#000,#666><bgcolor=#000><tableclass=key> QWERTY 키보드 글쇠 ||
 
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 (PC를 통한 열람 권장) ]
{{{#!wiki style="margin: -5px -1px -11px; overflow: hidden"
{{{#!wiki style="margin: -16px -0px -12px"
 
Esc  F1 F2 F3 F4  F5 F6 F7 F8  F9 F10 F11 F12  PrtSc
SysRq 		 ScrLk  Pause
Break 
 
 
~ 
 ` 		! 
 1 		@ 
 2 		# 
 3 		$ 
 4 		% 
 5 		^ 
 6 		& 
 7 		* 
 8 		( 
 9 		) 
 0 		_ 
 - 		+ 
 = 		 ← Backspace
(Delete) 		 Ins  Home  PgUp 
 
 ⇆ Tab Q W E R T Y U I O P { 
 [ 		} 
 ] 		[[\\|]]
\ 		 Del  End  PgDn 
 
 ⇪ Caps Lock A S D F G H J K L :
; 		"
' 		 Enter ↲
(Return) 		 Num 
 
 ⇧ Shift Z X C V B N M <
, 		>
. 		?
/ 		 ⇧ Shift ↑
 
 Ctrl 
 (fn) 		 Fn 
 (^) 		 파일:Windows_11_Icon_(print).svg파일:Windows_11_Icon_(dark).svg 
 (⌥) 		 Alt 
 (⌘) 		 Space  Alt 
 (⌘) 		 파일:Windows_11_Icon_(print).svg파일:Windows_11_Icon_(dark).svg 
 (⌥) 		 파일:Windows Copilot 로고.svg 
 (Menu) 		 Ctrl ←↓→
 
}}}}}}}}}}}}


덧셈의 기호는 '+'를 사용한다. 1489년 독일의 비드만이 쓴 산술책에 처음으로 덧셈기호 '+'가 등장했다.[1] 라틴어로 ‘~과’라는 단어가 et이기 때문에 et라고 사용했으며, 이를 간략하게 쓰는 과정에서 +가 되었다고 한다. 이 기호를 언제부터 plus라고 불렀는지는 확실하지 않다. 전 세계적으로 쓰이는 기호이지만 오로지 이스라엘에서만 십자가를 연상하게 한다고 수학 교과서나 일상에서 ﬩자를 쓰고 있다.[2] 국제교류가 활발한 대학교나 연구소, 기업체 등에서나 +를 쓴다.

x + 6 = 9을 미국 중등학교대수(algebra)에서는 "Six more than x is nine"과 같이 문장(sentence)으로 만들어 읽도록 가르치며 이런 문장들은 공식(항등식), 방정식, 부등식으로 나뉜다. 변수가 들어있는 문장들을 open sentence라고 하며 정의역(domain or replacement set)에서 문장을 참(true)로 만드는 원소들의 집합을 solution set(해집합)이라고 한다.

중국의 근대 대수학 교재에서도 더하기 기호가 기존에 사용하던 한자 숫자인 十(열 십)과 헷갈리기 때문에, ㅗ 비슷한 기호를 썼다.[3] 한편 뺄셈 기호 또한 一(한 일)과 비슷하기 때문에 ㅜ라고 썼다.

급수에는 뻔히 많을 덧셈을 굳이 표기할 이유가 없어 영어로 더하다는 뜻의 Sum에서 따온 그리스 문자 Σ를 사용한다.

3. 교육

초등학교 1학년 과정에서 1부터 10까지의 자연수를 배운 뒤 바로 배우는 내용. 처음에는 한 자리 수끼리의 덧셈을 배우다가 연가산, 2자리 이상의 수의 덧셈 등으로 확장된다. 두 자리 이상의 수의 덧셈에는 두 수의 부호가 같은 경우 받아올림(carry)을 한다. 두 수의 부호가 다른 경우 받아내림(borrow)을 한다.

초등학교까지는 0 이상의 유리수의 덧셈만 배우지만[4] 어차피 자연수의 덧셈을 바탕으로 하므로 별 상관은 없다. 매우 기초적인 연산이므로 수학 수준을 불문하고 물 쓰듯 쓰인다. 7차 교육과정까지의 중학교에서는 이진법의 덧셈과 뺄셈도 배웠으며, 6차 교육과정까지의 중학교에서는 오진법의 덧셈과 뺄셈도 배웠다.[5]

4. 정의

그냥 합치면 되는 거 아니냐고 생각할 수도 있지만 초등학교 수준에서부터 크게 두 종류를 가르친다. 학생들 간 덧셈을 계산할 때 무의식적으로 선호하는 방법이 다르다고 한다. 유치해 보이지만 깊이 생각하면 나름 깊은 의미가 있는 것들로, 집합과 함수와 연결지어 생각하면 나름의 의미가 있다.
그리고 초등학교 고학년을 넘어서면 그런 거 없이 추상적인 개념으로 숫자를 더하는 것이 익숙해지고 위 더하기 두 가지를 딱히 구분하지 않게 되며, 수학과를 가지 않는 한 대부분의 사람들은 죽을 때까지 이 방법으로 직관적인 계산을 하는 것을 덧셈으로 인식할 것이다.

대학에서 대수학을 추상적으로 배우기 시작하면서부터는 보통
  1. 군 구조에서
  2. 가환일 것.

이 두 가지 조건을 만족하는 이항연산을 덧셈이라고 하는 경우가 많다. 실제로는 우리가 알고 있는 덧셈에서부터 파생되는 경우를 배우는 게 대부분이다.

4.1. 페아노 공리계

페아노 공리계에선 다음과 같이 덧셈을 정의할 수 있다. 어떤 자연수 [math(a)]와 [math(b)]에 대해서 다음의 두 조건을 만족하는 연산 ([math(+)]로 표기)이 덧셈이다.
  1. [math(0 + b = b)]
  2. [math(S(a) + b = S(a + b))]

여기서 [math(S(a))]란 [math(a)]의 "계승자"라는 뜻이다.[6][7]

5. 예제

덧셈 구조의 중요한 예제는 크게 두 가지가 있다.이 중 후자는 주로 시계에서의 덧셈 이야기로 대표된다. 예를 들어 11(시)+2(시)=1(시) 와 같은 것. 이게 발전하면 합동식이 된다.

혹은

(홀수)+(홀수)=(짝수), (홀수)+(짝수)=(홀수), (짝수)+(홀수)=(홀수), (짝수)+(짝수)=(짝수) 배타적 논리합

가 대표적. 두 숫자를 더할 때 2로 나눈 나머지끼리의 관계를 살펴보면 된다.

이런 구조를 쌍을 지어 모아둔 구조도 덧셈이 된다. 이는 선형대수학을 공부하기 위한 필수요소다. 이런 배경에 비추어 따로 선형 결합(Linear combination)이라는 다른 이름으로 불리기도 한다.

[math((1,2)+(2,3)=(3,5))]와 같은 경우.

위상수학에서는 #라는 다른 기호를 쓰는 연결합(Connected sum)이 있다.

6. 성질

덧셈과 관련해서 대학에서 배우는 가장 중요한 성질은 "덧셈 구조는 잘 정렬된다". 덧셈 구조를 가지는 집합의 원소는 숫자 몇쌍으로 나타낼 수 있다는 것.

엄밀히 정의해보자면, 유한개의 원소로 만들 수 있는 덧셈 구조를 생각하자. 예를 들어, 정수 Z는 1 하나로 만들 수 있다 : 1이 있으니까 -1을 만든 후, 0=1+(-1), 2=1+1, 3=1+1+1, -2=(-1)+(-1),.....

유한개의 원소로 만들어지는 덧셈 구조는 숫자쌍으로 표현할 수 있는데, Z 가 몇개, Z/n 꼴 몇개의 쌍이다. 이 때 숫자쌍을 고르는 방식을 잘 선택하면, Z/n 들이 (또는 n 들이) 좋은 성질을 가지게 된다 ; 각각 Z/n1, Z/n2, Z/n3,....로 적었을 때, n1은 n2의 약수, n2는 n3 의 약수, n3은 n4의 약수,....와 같이 되도록 고를 수 있다.

좀 더 정식으로 보고 싶은 사람이 있다면 Fundamental theorem for finitely generated abelian groups라는 이름으로 찾아보면 된다.

이외에도 다음 성질이 있다.

7. 확장

덧셈이 반복된다는 개념으로 곱셈을 배우며, 초등학교를 지나고 중학교에서 변수 개념에 익숙해지고 다양한 수 체계에 익숙해질수록 덧셈과 곱셈은 다른 개념으로 받아들여진다. 3이 2.3번 반복된다는 개념이 가능할 리가. 곱셈에서 역시 지수라는 개념을 이런 식으로 대하며, 갈수록 하이퍼 연산의 개념 역시 이런 식으로 취급된다.

규칙적인 수열을 끊임없이 더하는 개념이 바로 급수이다. 미세하게 쪼개는 조작까지 추가하면 적분이 된다.

8. 덧셈의 역원 뺄셈

더하는 것이 있다면 반대로 빼는 것도 있는데 바로 뺄셈이다. −(-이 아니지만 컴퓨터상에서 -는 하이픈과 −를 대체하기 위한 문자.)라는 기호로 표현되며 덧셈의 반대라고 보면 된다.

다만 정수의 개념을 배우게 되면 덧셈과 뺄셈이 결국에는 같은 녀석임을 눈치채게 된다. 음수를 더하는 것은 절댓값이 같은 해당 수를 빼는 것과 마찬가지가 되기 때문. 그래서 이후에 나오는 수식은 죄다 덧셈의 형태며, 빼기 기호는 해당 수의 부호가 무엇이냐라는 표지로만 쓰인다.

9. 성질의 증명

여기서는 3.1 항목에서 언급된 페아노 공리계의 덧셈의 정의를 사용한다.
증명은 (단계). -명제- [근거] 식으로 서술. 당연하지만 [math(a, \, b, \, c)]는 어떠한 자연수들이다(여기서 자연수는 [math(0)]도 포함).

9.1. 결합법칙

[math(\text{도움정리 1: } (0 + b) + c = 0 + (b + c))]
[증명]
[math(\textbf{1}. \, (0+b) + c = b + c \, \text{[덧셈의 정의 1항목]})]

[math(\textbf{2}. \, b + c = 0 + (b + c) \, \text{[덧셈의 정의 1항목]})]

[math(\textbf{3}. \, (0+b) + c = 0 + (b + c) \, \text{[추이적 관계]})]


[math(\text{덧셈의 결합법칙: }(a+b) + c = a + (b + c))]
[증명]

[math(\textbf{1}. \, a = 0 \text{일 때, 결합법칙이 성립. 다시 말해, }(0 + b) + c = 0 + (b + c) \, \text{[도움정리 1]})]

[math(\textbf{2}. \, (a+b) + c = a + (b + c) \text{가 참이라고 가정 [귀납법 시작점]})]

[math(\textbf{3}. \, (S(a)+b) + c =S(a+b) + c = S((a + b) + c) \, \text{[덧셈의 정의 2항목]})]

[math(\textbf{4}. \, S((a+b)+c) = S(a+(b+c)) \, \text{[2번]})]

[math(\textbf{5}. \, S(a+(b+c)) = S(a) + (b + c) \, \text{[덧셈의 정의 2항목]})]

[math(\textbf{6}. \, (S(a) + b) + c = S(a) + (b + c) \, \text{[3-5번으로 인한 추이적 관계]})]

[math(\textbf{7}. \rightarrow (a+b) + c = a + (b + c) \, \text{[1, 2, 6번에 의한 귀납]})]

9.2. 교환법칙

[math(\text{도움정리 2: }0 + a = a + 0)]
[증명]
[math(\textbf{1}. \, 0+0 = 0+0 \, \text{[반사관계]})]

[math(\textbf{2}. \, 0 + a = a + 0 \text{가 참이라고 가정 [귀납법 시작점]})]

[math(\textbf{3}. \, 0 + S(a) = S(a) = S(0 + a)\, \text{[덧셈의 정의 1항목]})]

[math(\textbf{4}. \, S(0 + a) = S(a + 0) \, \text{[2번]})]

[math(\textbf{5}. \, S(a + 0) = S(a) + 0 \, \text{[덧셈의 정의 2항목]})]

[math(\textbf{6}. \, 0 + S(a) = S(a) + 0 \, \text{[3-5번에 의한 추이적 관계]})]

[math(\textbf{7}. \, \rightarrow \, 0 + a = a + 0 \, \text{[1, 2, 6번에 의한 귀납]})]


[math(\text{도움정리 3: }S(a) = a + 1)]
[증명]
[math(\textbf{1}. \, S(0) = 1 \, \text{[숫자 '1'의 정의]})]

[math(\textbf{2}. \, 0 + 1 = 1 \, \text{[덧셈의 정의 1항목]})]

[math(\textbf{3}. \, S(0) = 0 + 1 \, \text{[1-2번에 의한 추이적 관계]})]

[math(\textbf{4}. \, S(a) = a + 1 \, \text{이 참이라고 가정 [귀납법 시작점]})]

[math(\textbf{5}. \, S(S(a)) = S(a+1) \, \text{[4번]})]

[math(\textbf{6}. \, S(a+1) = S(a) + 1 \, \text{[덧셈의 정의 2항목]})]

[math(\textbf{7}. \, S(S(a)) = S(a) + 1\, \text{[5-6번에 의한 추이적 관계]})]

[math(\textbf{8}. \, \rightarrow S(a) = a + 1 \, \text{[3, 4, 7번에 의한 귀납]})]


[math(\text{도움정리 4: }S(a) + b = a + S(b))]
[증명]
[math( \textbf{1}. \, S(a) + 0 = 0 + S(a) \, \text{[도움정리 2]})]

[math(\textbf{2}. \, 0 + S(a) = S(a) \, \text{[덧셈의 정의 1항목]})]

[math(\textbf{3}. \, S(a) = a + 1 \, \text{[도움정리 3]})]

[math(\textbf{4}. \, a + 1 = a + S(0) \, \text{[숫자 '1'의 정의]})]

[math(\textbf{5}. \, S(a) + 0 = a + S(0) \, \text{[1-4번에 의한 추이적 관계]})]

[math(\textbf{6}. \, S(a) + b = a + S(b) \text{를가정 [귀납법 시작점]})]

[math(\textbf{7}. \, S(a) + S(b) = S(a) + (b + 1) \, \text{[도움정리 3]})]

[math(\textbf{8}. \, S(a) + (b+1) = (S(a) + b) + 1 \, \text{[덧셈의 결합법칙]})]

[math(\textbf{9}. \, (S(a) + b) + 1 = (a + S(b)) + 1 \, \text{[6번]})]

[math(\textbf{10}. \, (a+S(b)) + 1 = a + (S(b) + 1) \, \text{[덧셈의 결합법칙]})]

[math(\textbf{11}. \, a+ (S(b)+1) = a + S(S(b)) \, \text{[도움정리 3]})]

[math(\textbf{12}. \, \rightarrow S(a) + S(b) = a + S(S(b)) \, \text{[7-11번에 의한 추이적 관계]})]

[math(\textbf{13}. \, \rightarrow S(a) + b = a + S(b) \, \text{[5, 6, 12번에 의한 귀납]})]


[math(\text{덧셈의 교환법칙: b + a = a + b})]
[증명]
[math( \textbf{1}. \, 0 + a = a + 0 \, \text{[도움정리 2]})]

[math(\textbf{2}. \, b + a = a + b \text{를 가정 [귀납법 시작점]})]

[math(\textbf{3}. \, S(b) + a = S(b+a) \, \text{[덧셈의 정의 1항목]})]

[math(\textbf{4}. \, S(b+a) = S(a+b) \, \text{[2번]})]

[math(\textbf{5}. \, S(a + b) = S(a) + b \, \text{[덧셈의 정의 2항목]})]

[math(\textbf{6}. \, S(a) + b = a + S(b) \, \text{[도움정리 4]})]

[math(\textbf{7}. \, S(b) + a = a + S(b) \, \text{[3-6번에 의한 추이적 관계]})]

[math(\textbf{8}. \, \rightarrow b + a = a + b \, \text{[1, 2, 7번에 의한 귀납]})]

10. 언어별 명칭

<colbgcolor=#f5f5f5,#2d2f34> 언어별 명칭
기호 +, [math(Sigma)]
한국어 덧셈, 더하기, 가법(加法), 가산(加算)
영어 addition, summation, plus[8]
일본어 [ruby(加法, ruby=かほう)], [ruby(足し算, ruby=たしざん)], [ruby(加算, ruby=かさん)], [ruby(寄せ算, ruby=よせざん)][9]
중국어 加法(jiāfǎ)

11. 여담

[1] 뺄셈기호 '-'도 여기에서 처음 사용됨.[2] 회복 같은 개신교 찬양 영화를 만든 김종철 감독이 이스라엘에 직접 가서 쓴 책 이스라엘에는 예수가 없다에 그 내용이 존재한다.[3] 위 이스라엘의 사례와는 우연의 일치일 뿐으로, 이스라엘의 사례와 달리 종교적인 의미가 전혀 없다.[4] 음의 유리수를 포함한 정수의 덧셈은 6차 교육과정까지는 초등학교 6학년부터 배웠지만, 7차 교육과정부터는 중학교 1학년부터 배운다.[5] 이진법의 덧셈은 2의 자리가 올라갈 때마다, 오진법의 덧셈은 5의 자리가 올라갈 때마다 받아올림을 한다.[6] 페아노 공리계에선 [math(0)]을 자연수라 선언하고, 모든 자연수는 계승자를 정확히 1개 가지고 있다고 한다. 0을 계승자로 가진 자연수는 없으며, 똑같은 계승자를 가진 두 자연수는 같다. 0의 계승자를 1이라 칭하고, 1의 계승자를 2라 하고...[7] '계승자' 대신 '다음 수'라는 표현을 쓰기도 한다.[8] '2 and 6 make 8' 같이 plus 대신 and를 사용하기도 한다.[9] 과거에는 이 표기를 많이 썼다. 일제강점기 간이학교와 보통학교에서 쓰던 교과서에 이 표기가 쓰여 있었다.

분류