普通の実数の定義がwell-definedでないことを加筆しといた。
http://members2.tsukaeru.net/ogawa/fk1n09s.html

このスレの結論は、俺のノートだ。
回答テンプレは上のリンクね(*/∇＼*)