학부 집합론 시간에 배우는 형식적인(formal) 자연수의 정의 및 공리계(axiomatic system).
현대대수 시간에도 배울 수 있긴 한데 딥하게 가르치는 쪽은 아무래도 집합론이다. 그야 대수에서는 자연수에서 다른 구조로 가는 준동형 사상을 찾기 위한 징검다리로 쓸 뿐, 자연수 자체는 군도 아니고 수학적으로 별 유의미한 구조가 아니기 때문. 정확히는 페아노 공리계 위의 자연수는 monoid를 형성한다.
Contents are available under the CC BY-NC-SA 2.0 KR; There could be exceptions if specified or metioned.
개인정보 처리방침