https://bbs.wenxuecity.com/teatime/737354.html
实数公理
https://baike.baidu.com/item/%E6%97%A0%E7%90%86%E6%95%B0/105044
这个无理数解释把很多概念总结了