<aside> 💡
有理数是稠密的但不完备的
</aside>
完备性公理的作用