20/01/04 10:35:45.96 YGbyzZoY.net
自然数の集合Sが有限であることの定義
最大の元がある
∃x∈S∀y∈S.y<=x
自然数の集合Sが無限であることの定義
最大の元がない
￢(∃x∈S∀y∈S.y<=x)
⇔∀x∈S￢(∀y∈S.y<=x)
⇔∀x∈S∃y∈S.￢(y<=x)
⇔∀x∈S∃y∈S.y>x
20/01/04 10:35:45.96 YGbyzZoY.net
自然数の集合Sが有限であることの定義
最大の元がある
∃x∈S∀y∈S.y<=x
自然数の集合Sが無限であることの定義
最大の元がない
￢(∃x∈S∀y∈S.y<=x)
⇔∀x∈S￢(∀y∈S.y<=x)
⇔∀x∈S∃y∈S.￢(y<=x)
⇔∀x∈S∃y∈S.y>x