[...] welche berechtigten allgemeinen Forderungen an die Lösung eines mathematischen Problems zu stellen sind: ich meine vor Allem die, daß es gelingt, die Richtigkeit der Antwort durch eine endliche Anzahl von Schlüssen darzuthun und zwar auf Grund einer endlichen Anzahl von Voraussetzungen, welche in der Problemstellung liegen und die jedesmal genau zu formuliren sind. Diese Forderung der logischen Deduktion mittelst einer endlichen Anzahl von Schlüssen ist nichts anderes als die Forderung der Strenge in der Beweisführung. In der That die Forderung der Strenge, die in der Mathematik bekanntlich von sprichwörtlicher Bedeutung geworden ist, entspricht einem allgemeinen philosophischen Bedürfnis unseres Verstandes und andererseits kommt durch ihre Erfüllung allein erst der gedankliche Inhalt und die Fruchtbarkeit des Problems zur vollen Geltung. (David Hilbert)