戻る
9÷0の話からつらつらと，数を構築する手続きについて考えていた。 たとえば自然数の順序対に同値関係を入れて整数にしたり， 整数の順序対に同値関係をいれて有理数にしたり… この有理数を，元の自然数のところまで戻って考えると相当ややこしいのだけど，
考える必要はない。 このあたりの感覚と，オブジェクト指向と，なんだか通じる気がする。