Eadem sunt, quorum unum potest substitui alteri salva veritate (Leibniz): Dieselben sind, deren eines für das andere eingesetzt werden kann, ohne dass darunter die Wahrheit [einer Aussage] leidet, [in der diese Ersetzung vorgenommen wird].