自然数の構築

　（－）×（－）＝（＋）になるのはなぜ？という生徒の疑問に答えようと、色気を出し、集合から自然数の集合を構築し、その後演算を定義するというあたりの証明らしきものをやったみようという気になったが、難しそう。
ファンデルヴェルデンの「現代代数学」や高木貞治の「数の概念」などを引っ張り出した。たぶん夏休みの暇つぶしになるだろうなと思う。できるかな・・・。