有理数の構成も細かくやるのはやめようと志村は言っている。
自然数を構成して、整数を構成して、有理数の構成をやって、初めてデデキント切断の意味がある。