Schon seit 1874 verfolgte Gottlob Frege die selbstgestellte große Aufgabe, eine inhaltlich orientierte Logik zu erfinden, in der man aus zweifelsfrei wahren Prämissen rein formal weitere wahre Aussagen folgerte. Er kannte die Idee des großen Gelehrten Gottfried Wilhelm Leibniz von einer universellen Logik mit einer symbolischen Sprache, genannt › characteristica universalis ‹, die alle menschlichen Begriffe mechanisch auf Grundbegriffe zurückführt und mit der man alle wahren Sätze mechanisch erhält. Damit konnte man das Denken entlasten und Denkfehler vermeiden.