>>115
初年級の微積分ですら、εーδとフレーゲの述語論理をつかって関数の連続性を
定義したりするのに。

フレーゲの述語論理をどこでどう使ってるの?