現代数学の系譜 カントル 超限集合論他 3at MATH
現代数学の系譜 カントル 超限集合論他 3
- 暇つぶし2ch156:などである． （ダウンワード）レーベンハイム・スコーレムの定理成立の本質 当然のことながら証明は厳密にしなければならないのだが，レーベンハイム・スコーレムの 定理が成り立つ本質的な理由は， 有限，あるいは可算無限個の関数記号や述語記号から 作り出すことができる要素の総体は可算無限個である ことによる． (引用終り) 以上
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch