페아노 공리계

(페아노 공리에서 넘어옴)

1 개요[ | ]

Peano axioms, Dedekind–Peano axioms, Peano postulates
페아노 공리계, 페아노의 공리
  • 자연수 체계를 묘사하는 5개의 공리들
  • 수론의 일관성 및 완전성 연구에 사용됨

2 목록[ | ]

  • 1은 자연수임
  • n이 자연수이면 n 다음 수는 자연수임
  • n 다음 수를 n'이라 쓰면, n'=1인 자연수 n은 없음
  • m과 n이 다르면, m'과 n'도 다름
  • 1∈P이고, 모든 n∈P에 대해 n'∈P가 성립하면 P는 자연수 집합을 포함함

3 같이 보기[ | ]

4 참고[ | ]

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}