微分幾何にも代数幾何にもトポロジーにだって無限小は必要ないだろ？
解析学はどうなんだろうか。無限小がないとダメな分野ってあるのか？