記号論理は高校の段階である程度教えておくべきだと思うが。
最近は東大でもε-δ論法を教えないカリキュラムが用意されてるくらいだし。