Leibniz estabeleceu uma distinção entre verdades de razão ...

Leibniz estabeleceu uma distinção entre verdades de razão e verdades de fato. As verdades de razão enunciam que uma coisa é, necessária e universalmente, não podendo de modo algum ser diferente do que é e de como é. O exemplo mais evidente das verdades de razão são as ideias matemáticas. É impossível que o triângulo não tenha três lados e que a soma de seus ângulos não seja igual à soma de dois ângulos retos; é impossível que um círculo não tenha todos os pontos equidistantes do centro e que não seja a figura formada pelo movimento de um semieixo ao redor de um centro fixo; é impossível que 2 + 2 não seja igual a 4; é impossível que o todo não seja maior do que as partes.
(ARANHA, 2016.)
Gottfried Wilhelm Leibniz foi um matemático, físico e filósofo científico alemão, famoso por ser um dos criadores do cálculo diferencial e integral, conquista que é dividida com Isaac Newton. Leibniz concebe as ideias do cálculo de forma independente, sem nenhuma relação com Isaac Newton. Este fato gerou inúmeras discussões pela disputa do título de criador do cálculo. Leibniz escreveu diversos ensaios, mas não expôs de modo organizado e sistemático o seu pensamento filosófico. No entanto, é o responsável pela criação do termo: