0.99999……は１ではない　その２

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

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

170(1): 2019/10/10(木)22:00 ID:SRlrr+Hl(12/26) AAS
>>169
∃A(Φ∈A∧∀x∈A(x∪{x}∈A))

結局、これは他のZFC公理系の中で矛盾するんですかしないんですか？
どっちですか？

171(1): 哀れな素人 2019/10/10(木)22:02 ID:M7E4pXIi(38/51) AAS
>>170
その式の意味をフツーの文章で書いてくれ（笑