現代数学の系譜 カントル 超限集合論2at MATH現代数学の系譜 カントル 超限集合論2 - 暇つぶし2ch287:132人目の素数さん 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 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch