23/03/01 21:26:57.06 9JtOjYCM.net
なんで抽象化が必要なの？？
抽象に対して証明できることは、具体に対しても証明できるでしょ？
コンパクト集合上の連続関数を考えなくても、実数の閉区間上の連続関数が最大値を持つことは示せるでしょ？
23/03/01 21:26:57.06 9JtOjYCM.net
なんで抽象化が必要なの？？
抽象に対して証明できることは、具体に対しても証明できるでしょ？
コンパクト集合上の連続関数を考えなくても、実数の閉区間上の連続関数が最大値を持つことは示せるでしょ？