Yahooウォッチャー ３

今井のＨＰで well-defined を扱う予定はありません。「自然数から整数を構成する一つの方法」これは幾つかあるようです。その全てを知っていませんが、今井のＨＰにある定義はその中の一つで、これに少し手を加えてあります。