5.2.1 系列としての自然数
自然数は，日常語で謂う“系列”の数学的定式化である。
自然数の定義──“ペアノの公理”──は“系列”の規定である
(註)
。
（註） “系列”とは，図式
○→○→○→････
でイメージされるところのものである。ことばで言うと，
はじめ，はじめのつぎ，はじめのつぎのつぎ，････
が，系列である。
ペアノの公理は，以下の形態を禁止しつつ系列の図式のみを残すような規定になっている：
