[過去ﾛｸﾞ] 0.99999……は１ではない その２ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
514(1): 2019/10/24(木)09:08 ID:1zg6XbCM(3/4) AAS
安達さんは「公理」という言葉をどのように理解していますか？
x=Φを「証明」とか仰られていたので。
ΦはZFにおいて「空集合の公理」によって初めから存在している集合です。
Φの存在は証明も反証もできません。いわばめちゃくちゃ大きな「仮定」です。
もし、空集合そのものを疑っているのなら、
空集合を仮定しない新しい公理系が必要になります。
めちゃくちゃ大変なことですよ。
省10
530(1): 2019/10/24(木)13:03 ID:1zg6XbCM(4/4) AAS
>Φを集合と認めるか否かという話は別にして
別にされちゃった…
>>514の選択肢に
4)認めても認めなくても矛盾は生じない
5)わからない
追加で。
>ｘは元だから、まずΦが集合の元であることを証明する必要があるのである
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s