페아노 공리계_(r14)

학부 집합론 시간에 배우는 형식적인(formal) 자연수의 정의 및 공리계(axiomatic system).

현대대수 시간에도 배울 수 있긴 한데 딥하게 가르치는 쪽은 아무래도 집합론이다. 그야 대수에서는 자연수에서 다른 구조로 가는 준동형 사상을 찾기 위한 징검다리로 쓸 뿐, 자연수 자체는 군도 아니고 수학적으로 별 유의미한 구조가 아니기 때문. 정확히는 페아노 공리계 위의 자연수는 monoid를 형성한다.

총 다섯 가지 공리들(axioms)로 구성된다. 편의상 '$x$가 자연수이다'라는 predicate를 $N(x)$라 표현했다.

axiom of induction이라고도 불리는 5번 공리가 좀 족같은데, 보면 알겠지만 $phi(x)$는 predicate고 $forall phi$로 이에 대한 보편 양화를 규정하고 있으므로 이차논리이다. 다시 말해 FOL로 쓸 수 없다는 소리인데 물론 머리 잘 굴러가는 수학자들이 FOL 공리꼴로 표현할 수 있게 이미 수십년도 전에 조리 완료해 두었다.

다만 페아노가 1889년 처음 페아노 공리계를 발표했던 당시 사용된 방식이라 짚고 넘어가는 게 중요하다. 특히 수학적 귀납법이 성립하게 만드는 이유를 2차 논리로 써 두었을 뿐인 만큼 인간 기준에선 나름 직관적(?)인 정의이기도 하다. $phi(x)$를 임의의 자연수 양화 명제로 바꿔서 생각해 보자.이해가 쏙쏙되잖아 리슝좍아

참고로 집합을 사용하는 구성적 정의에서는 그냥 부분집합으로 약화시켜서 생각해도 되는데, 이 경우 $N(n) to phi(n)$이 필요없고 그냥 상등에 의해 $N = phi$라고 쓸 수도 있다. 물론 부분집합이라는 가정이 없는 경우 $N subset phi$가 될 것이다.

사실 수학과 저학년 학생들은 이게 더 익숙하다. 쉽게 말해서 위의 공리계는 '이런 게 있다', '이렇다면, 저렇다' 같은 고차논리(higher-order logic)적 표현이랑 proof theory, model theory식 소리가 가득한데 집합으로 환원해서 생각하면부분집합인 동시에 원소라는 걸 뇌로 상상하는 게 어렵지 직관적으로(?) 머리로 떠올려 생각할 수도 있다(!). 뭣보다 집합이라는 도구를 이미 다 갖추고 있기 때문에 위의 공리적 방법이랑 비교해 너무 날먹이다. 수학과 신입생들은 ZFC가 외워야 할 게 많다고 어려워하지만 실은 ZFC는 일종의 마트 가면 볼 수 있는 공구세트, 주방도구세트 비슷한 느낌이다. 이미 모든 필요한 공리와 존재(existence)의 보장이 다 되어있으니 앉아서 먹기만 하면 된다.

다만 페아노 공리계와 ZFC 공리계가 분리되어 있는 이유는, 당연히 공리의 의존성을 줄이고 순도를 높이기 위해서이다. ZFC에 대부분의 도구가 정의되어 있으니 '~가 존재한다는 걸 공리로 가정(assume)'할 필요 없이 '~가 존재한다는 걸 증명(prove)'하기만 하면 되는 건 편하지만, ZFC는 ZFC고 이와 호환되지 않는 다른 well-defined된 다른 공리계들도 존재한다. 그런 공리계에서조차 '자연수'라는 개념을 공리적으로든, 구성적으로든 하여간 어떠한 방법으로든 '구현'하기 위해서 필요한 게 페아노 공리계, 즉 일종의 '<자연수 만들기 레시피> [재료는 알아서 구하셈 ㅇㅇ]'와 같다.