抽象化で証明できる命題は増えないだろ

抽象化で証明できる命題は増えないだろ (52ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

26(1): 02/06(木)12:45 ID:ZwLJiPr5(1) AAS
>>25
すまん、バカ確定や
存在証明がないことと不存在が証明できることの違いもわからんとか

27: 02/06(木)12:48 ID:I7ERx3/l(4/4) AAS
>>26
全てのベクトル空間に基底が存在することが机上の空論であることと、最早基底が存在しないベクトル空間について語ることをやめることに、何か違いはありますか？