[過去ﾛｸﾞ] 0.99999……は１ではない　その２ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

183(1): 2019/10/10(木)22:26 ID:SRlrr+Hl(19/26) AAS
>>182
つまり、可能無限公理は
∃A(Φ∈A∧∀x∈A(x∪{x}∈A))
とはかけないということですか？

∃A(Φ∈A∧∀x∈A(x∪{x}∈A))と可能無限公理は何が違うのでしょうか

安達さんは先ほどツェルメロの無限公理は可能無限公理だとおっしゃっていたので、∃A(Φ∈A∧∀x∈A(x∪{x}∈A))と同じものなのかなと思いましたけど

てかさっき確認しましたよね？わざわざ

---

185: 哀れな素人 2019/10/10(木)22:29 ID:M7E4pXIi(45/51) AAS
と>>183のようなイミフなことを書き続ける（笑

Φ∈A をおかしいとは思わないのか、と問うているのに、

>>183のようなことを書く（笑

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.034s