tl;dr アルキメデスの公理、デデキントの公理、Weierstrassの公理 など実数の連続性を基礎づける６つの方法は相互に等価で、それらに極限の定義を加えることで、普段我々が触れている 0.999…=1な世界は作られている。それらの前提をある形で否定することで、…