実数の連続性
(A,B)を実数の集合 R {\displaystyle \mathbb {R} } の切断とすれば、Aに最大元があってBに最小元がないか、Bに最小元があってAに最大元がないかのいずれかである。
リヒャルト・デーデキントが提示した。