[過去ログ] 現代数学はインチキだらけ (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
594(1): 2019/09/29(日)12:41 ID:NoBnYUlZ(2/19) AAS
>>591
分かってないね
正則性公理は、無限降下列を直接禁止していない
直接禁止しているのは、x∈xとかなんだ
それで、間接的に禁止される無限降下列がある
しかし、無限降下列が全くダメというわけではない
調べてみな(^_^)
595(2): 2019/09/29(日)13:43 ID:WcBxaUNf(8/24) AAS
>>594
ID:NoBnYUlZ 毎度のことですが、今度も間違ってますね
外部リンク:ja.wikipedia.org
「(正則性公理とは)空でない集合は必ず自分自身と交わらない要素を持つ。
∀A(¬(A=Φ)⇒∃x∈A.∀t∈A.¬(t∈x))
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
任意の空でない集合xに対して、∃y∈x,x∩y=0
省5
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s