カントール[Cantor]の区間縮小法の原理はワイエルシュトラウス[Weierstrass]の連続性原理からも,デデキント[Dedekind]の切断の原理からも導くことができる.また,デデキントの切断の原理はワイエルシュトラウスの連続性原理と同値になっている.
しかし,デデキントは『有理数の切断』を用いて『実数』の定義を行った.
Mathematics is the language with which God has written the universe.