超準解析の超準元とか、構成が比較的複雑だし
構成法を忘れてしまいたい代表例だと思うけどなあ

実数をどういう風に構成するかなんて非本質的な情報の
最たるものなのに、それを最後まで残る意義が分からない