完备性是分析学成立的「隐性公理」——没有它，微积分就是空中楼阁

有理数虽然稠密（任意两个有理数之间都有另一个有理数），但不「完备」——存在有理数序列收敛到无理数（如有理数逼近√2）。上确界公理（每个有上界的非空实数集都有上确界）保证了实数的完备性，这是极限存在、连续函数有最大值等微积分核心定理的前提。没有完备性，「趋近」就可能趋近到一个不存在的点。