[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
674: 132人目の素数さん [sage] 2019/09/29(日) 16:29:21.48 ID:s0bEnY0r >>673 この理屈は間違い。 >>670にも書いたように、公理的集合論のwikiで、「⊂、⊃」と「∈、∋」の区別が付かない。 http://rio2016.5ch.net/test/read.cgi/math/1568026331/674
675: 132人目の素数さん [sage] 2019/09/29(日) 16:36:50.68 ID:WcBxaUNf >>674 >この理屈は間違い。 ではどういう理屈で>>663で >任意の2以上の正整数xについて x≠Φ、0∈x といったのか? おかしいだろう http://rio2016.5ch.net/test/read.cgi/math/1568026331/675
676: 132人目の素数さん [sage] 2019/09/29(日) 16:54:21.15 ID:s0bEnY0r >>675 >ではどういう理屈で>>663で >>任意の2以上の正整数xについて x≠Φ、0∈x >といったのか? 理屈も何も、>>670や>>674に書いた通り説明が分からない。 wikiの公理的集合論の正則性公理 >空でない集合は必ず自分自身と交わらない要素を持つ。 を記号で書くと >∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) ) だろうな。最後の ¬(t⊂x) が ¬(t∈x) になっている理由が分からん。 http://rio2016.5ch.net/test/read.cgi/math/1568026331/676
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s