- 812 名前：１３２人目の素数さん [2024/03/15(金) 22:56:36.63 ID:sYXmV0f/.net]
- >>764
>>>762
>>・∀x∈ℕ.∃(x+1).x<x+1
>>・∀x∈ℕ.∃y.x<y
>>この二つの式は意味違うし
>意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？
・例えば、yを有理数にとって
∀x∈ℕ.∃y∈Q.x<y とか
・例えば、yを実数にとって
∀x∈ℕ.∃y∈R.x<y とか
・だから、∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
yを自然数に限っても、冒頭の二つの式の意味は違う
|
 |
