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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

25(1): 02/06(木)12:41 ID:I7ERx3/l(3/4) AAS
>>24
選択公理がなければ全てのベクトル空間に基底が存在するとは言えないので。

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