実数の連続性について詳しく書いてる解析の入門書はやっぱり杉浦本ですかね？
高木本はアルキメデスの原理の扱いが怪しいらしいですが