無限小解析は公理的集合論みたいなもので数学の役には立たんのよ。