Hindenburg’s combinatorial school, its Leibnizian dream of a finite analysis, and its afterlife in Novalis.