[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
61(1): 11/02(日)21:39 ID:kHsCJN3F(7/7) AAS
>公理的集合論の外（素朴集合論）から見ると
公理的集合論の外の意味が全く不明だが（笑）
>実数Rの有理数Qによる同値類R/Qを考えることは可能であり
少なくとも有理数Ｑ全体の集合が存在し
有理数Ｑの部分集合の全体集合が存在する
と前提しないなら「可能」とは言えんな
>また、同値類R/Qの代表を考えることは可能である
省21
63(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)09:50 ID:RGcnI1b5(2/10) AAS
>>61
>>また、同値類R/Qの代表を考えることは可能である
>選択公理なしにそんなことは不可能だがな
あたま悪そうだな ；ｐ）
人は、ZFCの外で思考している（思考できる）
それに加えて、人の思考は 一階述語論理に縛られない
だ か ら、一階述語論理ZFに加えて「選択公理あったらいいね」が
考えられるんだよ
バカだな （＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s