개요
- Peano axioms, Dedekind–Peano axioms, Peano postulates
- 페아노 공리계, 페아노의 공리
- 자연수 체계를 묘사하는 5개의 공리들
- 수론의 일관성 및 완전성 연구에 사용됨
목록
- 1은 자연수임
- n이 자연수이면 n 다음 수는 자연수임
- n 다음 수를 n'이라 쓰면, n'=1인 자연수 n은 없음
- m과 n이 다르면, m'과 n'도 다름
- 1∈P이고, 모든 n∈P에 대해 n'∈P가 성립하면 P는 자연수 집합을 포함함
같이 보기
- 수학기초론
- 겐첸의 일관성 증명
- 굿스타인의 정리
- 패리스-해링턴 정리
- 프레스버거 산술
- 로빈슨 산술
- 2차 산술
- 비표준 산술
- 자연수의 집합론적 정의
- 자연수
- 수학적 귀납법
- 주세페 페아노
- 공리