現代数学の系譜　カントル　超限集合論2at MATH

---

299:１３２人目の素数さん
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

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch