Дано множество всех элементарных функций, которые определены на всей области
, с естественными операциями сложения и умножения:
На нем задан дифференциальный оператор
по следующим правилам:
Нет, это не мой вопрос. Мой вопрос о том, как аксиоматизировать классическое дифференцирование в кольце элементарных функций. Естественно, без использования теории пределов, а перечислением всех необходимых и достаточных
свойств.
(Оффтоп)
Либо классифицировать все дифференцирования в этом кольце. Это тоже была бы часть ответа.