いよいよ自然数の演算を再現します。なお、公理的集合論においては、通常は集合を現すのにアルファベットの小文字を使用するのが慣わしですが、煩雑さを避けるため、大文字等も使用することにします。 帰納定理 定理(帰納定理) とし、 とする。さらに写像 が…