[過去ログ]
現代数学はインチキだらけ (1002レス)
現代数学はインチキだらけ http://rio2016.5ch.net/test/read.cgi/math/1567930973/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
594: 132人目の素数さん [] 2019/09/29(日) 12:41:58.15 ID:NoBnYUlZ >>591 分かってないね 正則性公理は、無限降下列を直接禁止していない 直接禁止しているのは、x∈xとかなんだ それで、間接的に禁止される無限降下列がある しかし、無限降下列が全くダメというわけではない 調べてみな(^_^) http://rio2016.5ch.net/test/read.cgi/math/1567930973/594
595: 132人目の素数さん [] 2019/09/29(日) 13:43:57.28 ID:WcBxaUNf >>594 ID:NoBnYUlZ 毎度のことですが、今度も間違ってますね https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 「(正則性公理とは)空でない集合は必ず自分自身と交わらない要素を持つ。 ∀A(¬(A=Φ)⇒∃x∈A.∀t∈A.¬(t∈x)) 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 任意の空でない集合xに対して、∃y∈x,x∩y=0 ∀xについて、∈がx上well-founded ∀xについて、無限下降列である x∋x_1∋x_2∋...は存在しない。 V=WF (Vはフォン・ノイマン宇宙 WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス)」 http://rio2016.5ch.net/test/read.cgi/math/1567930973/595
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s