The ideas behind how these "meta-mathematical" concepts work were evidently developed by Leibniz and Heaviside. See milan.milanovic.org.