>>702
あるよ。一般に、次の定理は、ZF で証明可能：
「E を 実数の集合 R の空でない部分集合で、
上に有界とすると、E には上限が存在する。」