1
증명 2 + 2 = 2 * 2 (및 유사)
출력 등과 같은 문장의 전체 정식 게이 1+2=3, 2+2=2*(1+1)등 소개 Peano Arithmetic을 알고 있다면이 섹션을 건너 뛸 수 있습니다. 자연수를 정의하는 방법은 다음과 같습니다. (Axiom 1) 0 is a number (Axiom 2) If `x` is a number, the `S(x)`, the successor of `x`, is a number. 따라서 예를 들어 S(S(S(0)))숫자입니다. …