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

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

5: 02/05(水)06:48:42.73 ID:kKoXjxuf(2/9) AAS
逆に選択公理がなくても証明できる定理は？
2chｽﾚ:math

19: 02/06(木)11:24:31.73 ID:+rfomp58(1) AAS
一般化も抽象化も形式的には具体的な集合(または圏)Xに対してそれを含む集合(圏)に考察を移すことだよな
証明できる命題は増えるよな