Inductive calculus