Leibniz and Descartes, proof and eternal truths | lit.salon