The journey to formalism

• Gottfried Frege created an opus of mathematical rigor, “Grundgesetze der Arithmetik (Basic Laws of Arithmetic)”
• On the eve of publication, a note from Bertrand Russell:
• Frege’s system contained a fatal inconsistency