Gottfried Wilhelm von Leibniz fue un filósofo, matemático, jurista y político alemán del siglo XVII. Estudió leyes y matemáticas en varias universidades alemanas. Trabajó como diplomático y bibliotecario, y desarrolló el cálculo infinitesimal y una máquina de calcular. Defendió las "verdades de razón" como necesarias y las "verdades de hecho" como contingentes conocidas solo por Dios.