[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
663: 132人目の素数さん [sage] 2019/09/29(日) 14:42:28.70 ID:s0bEnY0r >>658 >>661はなし。>>659の >すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。 の部分は >すると、任意の2以上の正整数xについて x≠Φ、0∈x だが、 >任意の x-1 以下の正整数tに対して、0∈t となって正則性公理に反する。 に訂正。 http://rio2016.5ch.net/test/read.cgi/math/1568026331/663
667: 132人目の素数さん [sage] 2019/09/29(日) 15:24:20.08 ID:WcBxaUNf >>663 >任意の2以上の正整数xについて x≠Φ、0∈x だが、 ID:s0bEnY0rは、ID:NoBnYUlZと全く同じ間違いをしてる {}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}、というのは誤り http://rio2016.5ch.net/test/read.cgi/math/1568026331/667
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.039s