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

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

1(2): 02/05(水)02:23 ID:2fuJevgW(1) AAS
だから無意味

2: 02/05(水)02:29 ID:va9SNCXE(1) AAS
しかし守備範囲は明確になる
たとえばフェルマーの小定理は整数の性質というより有限巡回群の性質だ

3(1): 02/05(水)06:21 ID:DBPzopUM(1/2) AAS
抽象化しないと帰納法が使えない例は？

4: 02/05(水)06:47 ID:kKoXjxuf(1/9) AAS
働けウンコ製造機

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

6: 02/05(水)06:48 ID:kKoXjxuf(3/9) AAS
円周率が3であることを証明した
2chｽﾚ:math