Truth Fact

También hay dos tipos de verdades: la verdad de razonamiento y la verdad de hecho. Las verdades de razonamiento son necesarias y su opuesto es imposible; las de hecho son contingentes y su opuesto es posible.

- Gottfried Leibniz