src: Mais tarde, Leibniz reconheceu que, nesta época, estava a tentar encontrar uma ordem nas verdades lógicas que, embora ele não soubesse na altura, eram as ideias por trás das demonstrações matemáticas rigorosas.
tgt: In later life Leibniz recalled that at this time he was trying to find orderings on logical truths which, although he did not know it at the time, were the ideas behind rigorous mathematical proofs.