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