离散数学教程-4-2-集合论（1）

- P371(1) 不存在比一切实数都大的实数. (2) 任何两个不同实数之间比存在另一实数. - (1) 设论域为实数集, L(x,y): x>y