접속자 폭증으로 서버 상태가 원활하지 않습니다 | 소유권 이전과 관련한 공지
페아노 공리계(비교)
| r6 vs r7 | ||
|---|---|---|
| ... | ... | |
| 10 | 10 | |
| 11 | 11 | 1. [math(\exists e(N(e)))] (자연수 [math(e)]가 존재한다.) |
| 12 | 12 | 1. [math(\exists S \forall n(N(n) \to N(S(n))))] (모든 자연수 [math(n)]에 대해, 따름수(successor) [math(S(n))] 역시 자연수이게 하는 [math(S)]가 존재한다.) |
| 13 | 13 | 1. [math(\forall n(N(n) \to \neg (S(n) = e)))] ([math(e)]는 그 어떤 자연수의 따름수도 아니다.) |
| 14 | 1. [math(\forall n \forall m (N(n) \land N(M) \to S(n) = S(m) \iff n = m))] ([math(S)]가 injective하다.) |