題目如下 (>=表示大於等於；=< 表示小於等於)
x is a real number >= 0. Let S be the set of all nonnegative integers =< x.
Then sup[S] exists and S contains sup[S].
============================以下是我的想法============================
sup[S] exists 的證明可以用 Completeness Axiom 證得。
但我不會證明sup[S]落在S中 (掩面…程度太差了…)
請救救我…謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.160.65.128