>Дифференциальное исчисление к мат. логике прямого отношения не имеет.
Вот это новость ! Простите, вы слышали о "языке эпсилон-дельта" в котором сейчас излагаются все виды исчислений бесконечных малых величин (дифф. исчисление их частная форма), который разработан именно мат. логиками ?