20/03/19 16:01:51.35 15lNl20m.net
全称量化された自然数について
命題
すべての自然数は数えられる無限個である ⇒ すべての自然数は可算無限個である
このとき全称命題の不存在性から
ある自然数は数えられないこともある
これより
N：自然数全体
とする
∀n∈Nに対して
n_1=1
n_2=2
n_3=3
……
と選ぶことはできない
20/03/19 16:01:51.35 15lNl20m.net
全称量化された自然数について
命題
すべての自然数は数えられる無限個である ⇒ すべての自然数は可算無限個である
このとき全称命題の不存在性から
ある自然数は数えられないこともある
これより
N：自然数全体
とする
∀n∈Nに対して
n_1=1
n_2=2
n_3=3
……
と選ぶことはできない