>>421
だったら論理式で定義を書いてみたら?
ちなみに>>419の論理式は「実数には最大値が存在する」って意味の論理式で、もちろん偽だよ