20/01/05 08:59:10.93 CpJpHnug.net
★又マジック
0より大きな自然数がある
nより大きな自然数があるならn+1より大きな自然数がある
正しい結論
任意の自然数nに対してそれぞれnより大きな自然数がある
（∀n∈N∃m∈N.n<m)
間違った結論
任意の自然数nのどれよりも大きなある自然数がある
（∃m∈N∀n∈N.n<m)
※もしmが存在した場合m<mとなり矛盾！
20/01/05 08:59:10.93 CpJpHnug.net
★又マジック
0より大きな自然数がある
nより大きな自然数があるならn+1より大きな自然数がある
正しい結論
任意の自然数nに対してそれぞれnより大きな自然数がある
（∀n∈N∃m∈N.n<m)
間違った結論
任意の自然数nのどれよりも大きなある自然数がある
（∃m∈N∀n∈N.n<m)
※もしmが存在した場合m<mとなり矛盾！