以前、集合論の公理系を用いて自然数の集合 を定義し、その上に加法と乗法という算法を定義しました(べき乗も定義しましたが、今回は特に使いません)。今回は、それを拡張して整数と有理数を構成してみます。 代数系 を集合とし、 を の部分集合とします(つ…