Inter-universal geometry と ABC予想 (応援スレ) 77

Inter-universal geometry と ABC予想 (応援スレ) 77at MATH

Inter-universal geometry と ABC予想 (応援スレ) 77 - 暇つぶし2ch63:現代数学の系譜雑談
25/11/03 09:50:23.76 RGcnI1b5.net
>>61
>>また、同値類R/Qの代表を考えることは可能である
>選択公理なしにそんなことは不可能だがな

あたま悪そうだな　；ｐ）
人は、ZFCの外で思考している（思考できる）
それに加えて、人の思考は一階述語論理に縛られない

だから、一階述語論理ZFに加えて「選択公理あったらいいね」が
考えられるんだよ
バカだな　（＾＾

次ページ