抽象化で証明できる命題は増えないだろ (52ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
43: 06/22(日)22:27 ID:2CwzH8ni(1) AAS
全ての定理や補題には、その成立に
選択公理を仮定しているか否かを
明記すべきだな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.004s