**페아노 공리계** 또는 **데데킨트-페아노 공리계**는 수리논리학에서 자연수 체계를 묘사하는 공리들이다. 19세기 이탈리아 수학자인 주세페 페아노에 의하여 제안되었다. 수론의 일관성 및 완전성 연구에도 사용된다.

페아노의 공리들은 세 종류로 나눌 수 있다. 처음의 네 공리는 동일성에 대한 일반적인 명제로, 현대에는 보통 순수 논리의 공리로 취급된다. 다음의 네 공리는 따름수 연산의 근본적인 성질들을 자연수에 대한 1차 논리적 명제로 표현한 것이다. 마지막 9번째 공리는 수학적 귀납법을 표현한 2차 논리의 명제이다. 이 마지막 공리를 1차 논리의 공리꼴로 대체한 체계를 **페아노 산술**이라고 하는데, 이는 페아노가 원래 제안한 것보다 약한 체계이다.

## 공리
페아노가 그의 공리들을 만들 당시 수리논리학의 언어는 요람기에 있었다. 그가 공리들을 표현하기 위해 사용한 논리 표기법은 그다지 널리 퍼지지 않았으며, 단지 집합 포함기호(페아노가 사용한 ε에서 ∈가 나왔다)와 논리적 함의 기호(페아노가 C를 거꾸로 쓴 것에서 ⊃가 나왔다) 등이 현재까지 사용되고 있다. 페아노는 수학 기호와 논리 기호를 엄격히 구분했는데, 이는 당시에는 일반적인 일이 아니었다. 이런 구분은 원래 고틀로프 프레게가 1879년에 출판된 "개념표기법"에서 도입했으나

페아노의 공리들은 '자연수 집합' **N**이 만족해야 할 성질들을 규정한다. 처음의 네 공리는 동일 관계를 묘사한다.

나머지 공리들은 자연수의 성질을 다룬다. 먼저 상수 0이 자연수라 하고, 자연수 집합이 "따름수" 함수 S에 대해 닫혀 있다고 정한다.


페아노의 원래 형식화에서는 첫 자연수로 0이 아닌 1을 선택했다. 공리 5는 0이라는 상수에 대해 덧셈에 관하여 아무런 성질도 부여하지 않으므로, 어느 쪽을 선택하든 별 상관은 없다. 그러나 0이 덧셈에 대한 항등원이라는 점 때문에 현대에 페아노 공리들을 서술할 때는 대체로 0에서 시작한다. 공리 5와 6은 자연수를 1진법으로 규정하는 것이다. 즉, 1은 S(0)이며, 2는 S(S(0)) = S(1)이고, 비슷하게 임의의 자연수 n은 S(0)이다. 다음의 두 공리는 이 1진법 표현의 성질을 정한다.

임의의 자연수 n에 대해, S(n) ≠ 0. 즉, 따름수가 0인 자연수는 존재하지 않는다.

이 두 공리는 자연수가 무한히 많음을 보장한다. 왜냐하면, 최소한 {0, S(0), S(S(0)), ...}라는, 서로 다른 원소들로 이루어진 무한 부분집합이 자연수에 포함되기 때문이다. 마지막 공리는 '귀납법 공리'라고도 하는데, 자연수 전체에 대해 순차적인 논증을 할 수 있게 해준다. 이는 유일한 2차 논리적 공리이다.


예를 들어, a + 1 = a + S(0) = S(a + 0) = S(a)이다.

구조 는 0을 항등원으로 갖는 가환 모노이드이며, 소거법칙도 성립한다. 따라서 이는 군에 묻힐 수 있다. 가 묻히는 가장 작은 군은 정수 집합의 덧셈군이다.

덧셈이 주어졌으므로, **자연수의 곱셈** 또한 아래의 반복법 조건을 만족하는 함수 ·: **N** × **N** → **N**로 정의할 수 있다:
a \cdot 0 &= 0, \\
a \cdot (S (b)) &= a + (a \cdot b).
\end{align}
이때 a · 1 = a · (S(0)) = a + (a · 0) = a + 0 = a이므로, 1이 곱셈의 항등원임을 알 수 있다. 또한, 곱셈의 덧셈에 대한 분배법칙 a · (b + c) = (a · b) + (a · c)가 성립한다는 것도 간단히 보일 수 있으며, 그러므로 은 가환 반환이다.

보통의 전순서 ≤ ∈ **N** × **N**은 다음과 같이 정의한다:
이 관계는 덧셈과 곱셈에 대해 안정적이다. 즉, a, b, c ≤ **N**일 때, a ≤ b이면 a + c ≤ b + c이며 또한 a · c ≤ b · c이다.

그러므로 구조 는 순서 반환이다. 또한 0과 1 사이에는 자연수가 존재하지 않으므로 이는 이산 순서 반환이다. 귀납법 공리는 ≤ 순서를 사용해서 다음의 '강력한' 형태로 서술되기도 한다:
φ가 다음의 조건을 만족하는 1항 술어라 하자:

이를 이용하면 ≤ 순서에 대해 '강력한' 논증을 할 수 있다는 이유로 강력한 형태라 불리지만, 논리적으로는 원래 형태와 동치이다.

## 모형
페아노 공리계를 만족시키는 논리학적 구조, 곧 모형은 이다. 여기서 N 은 무한집합이고, 0 ∈ N이며, S: N → N이다.

데데킨트는 1888년 출판된 책에서 페아노 산술의 임의의 두 모형이 동형임을 증명하였다. 곧, 두 모형 

즉, 2차 논리의 페아노 공리계는 범주적(categorical), 즉 오직 하나의 모형만 갖는다는 것이다. 다만 이는 페아노 공리계를 1차 논리로 재서술한 것에 대하여서는 성립하지 않는다.

### 집합론적 모형
페아노 체계는 (ZF 집합론에 더하여) 자연수의 집합론적 구성법으로부터도 도출될 수 있다. 존 폰 노이만에 의해 정립된 자연수의 표준 구성법에서는 0을 공집합으로 정의하는 것에서 시작하여 따름수 연산자 ''s''를 다음과 같이 정의한다.

자연수 집합 **N**은 ''s''에 대하여 닫힌 모든 집합들의 교집합으로 정의된다. 다음과 같이, 각 자연수는 그것보다 작은 모든 자연수들을 모은 집합과 동등하게 된다:

0 &= \emptyset \\
1 &= s(0) = s(\emptyset) = \emptyset \cup \{ \emptyset \} = \{ \emptyset \} = \{ 0 \} \\
2 &= s(1) = s(\{ 0 \}) = \{ 0 \} \cup \{ \{ 0 \} \} = \{ 0 , \{ 0 \} \} = \{ 0, 1 \} \\
3 &= s(2) = s = \{ 0, 1 \} \cup \{ \{ 0, 1 \} \} = \{ 0, 1, \{ 0, 1 \} \} = \{ 0, 1, 2 \}
\end{align}

이제 0을 포함한 집합 **N**과 따름수 함수 ''s'' : **N** → **N**에서 페아노 공리들이 성립한다.

페아노 산술은 몇몇 약한 집합론 체계들과 등무모순적임이 알려져 있다. 예를 들어, ZFC에서 무한 공리를 무한 공리의 부정으로 대체한 체계(ZFC - inf + ~inf) 등이 있다.

## 무모순성
페아노 공리계가 처음 발표되었을 때 버트런드 러셀을 비롯한 많은 논리학자들은 이것이 직관적으로 생각하는 자연수의 정의와도 부합한다는 데 동의했다. 그러나 앙리 푸앵카레 등 직관주의자들은 이 체계가 일관적(무모순적)이지 않으면 "0 = 1"과 같은 모순적 문장들을 낳게 되므로 무의미하게 된다고 지적하였고, 1900년 다비트 힐베르트는 그가 발표한 23가지의 힐베르트 문제의 2번째 문제에 "유한적인 방법만 사용하여 산술 체계의 일관성을 증명하라"는 내용을 집어넣는다. 그러나 1931년 쿠르트 괴델이 발표한 괴델의 제2 불완전성 정리에 의하여 페아노 산술의 무모순성이 페아노 산술 내부에서 보여질 수 없음이 증명되어 큰 난관에 맞닥뜨리게 된다.

1936년 게르하르트 겐첸은 원시 재귀 산술에 더하여 양화사가 없는 초한귀납법이 순서수  가 성립한다.)

## 역사
페아노 공리계는 19세기 이탈리아의 수학자 주세페 페아노가 제안하였다.

산술을 형식화할 필요성은 1860년대에 헤르만 그라스만이 산술의 많은 사실들이 따름수 연산과 수학적 귀납법에 대한 보다 단순한 사실들로부터 유도될 수 있다는 것을 보이기 전까지는 그다지 인식되지 않았다.