Peano の公理 これから自然数にいろいろな構造を入れていく上で重要な、Peano の公理について説明します。 (P1) に対してある が確定する。 これは写像 が定まっている、とも言い換えられます。 のことを と書いているわけです。 (P2) これは、(P1) で定まっ…