Blaise Pascal: "Alles muß bewiesen werden, und beim Beweisen darf man nichts außer Axiomen und früher bewiesenen Sätzen benutzen."