Inductive Set

이 글에서 ‘자연수’는 $0$ 이상인 정수를 이르는 것으로 약속한다. 자연수 집합의 정의 정의 1. 자연수를 다음과 같은 집합으로 정의한다. \[\begin{aligned} 0 &= \varnothing, \[5pt] 1 &= 0^+ = \left\{ 0 \right\} ,\[5pt] 2 &= 1^+ = \left\{ 0,\,1 \right\} ,\[5pt] 3 &= 2^+ = \left\{ 0 ,\,1,\,2 \right\} , \[5pt] …