PA1: 1은 자연수이다.
PA2: 모든 자연수 n은 그 다음 수 n을 갖는다.
PA3: 1은 어떤 자연수의 그 다음 수도 아니다. 즉, 모든 자연수 n에 대해 1≠n이다.
PA4: 두 자연수의 그 다음 수들이 같다면, 원래의 두 수는 같다. 즉, a=b이면 a=b이다.
PA5: 어떤 자연수들의 집합이 1을 포함하고, 그 집합의 모든 원소에 대해 그 다음 수를 포함하면, 그 집합은 자연수 전체의 집합이다.
공리가 증명하지 않고 옳다고 인정하는 명제인 것처럼 용어들 가운데도 정의하지 않고 사용하는 용어가 필요한데, 이것들…