[過去ログ] 現代数学はインチキだらけ (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