This article records tradition as it has been passed down and reported. Its sources are not yet part of the atlas's verified catalogue.
On June 16, 1902, a letter arrived from Bertrand Russell informing Gottlob Frege that the foundation of his life's work contained a contradiction. Frege had spent decades building a formal system meant to show that arithmetic was nothing more than logic in disguise, a project called logicism, and the keystone of that system was a principle he called Basic Law V, which let him treat any well defined concept as having an extension, a collection of everything falling under it. Russell showed that this innocuous seeming rule allowed the formation of a concept, extension which is not an element of itself, and that concept generates a straightforward contradiction, since it is an element of itself if and only if it is not. The Stanford Encyclopedia's account of Frege's career records the moment starkly, noting that he never fully recovered from the flaw discovered in the foundations of his two volume Grundgesetze der Arithmetik. That is one honest way to tell the story, a system builder undone by the very rigor he introduced.
But the more interesting scholarly argument concerns how much of Frege actually goes down with that ship. Basic Law V is inconsistent, and no repair of it has ever satisfied logicians since. Crispin Wright showed in 1983, as a modern reconstruction, that the Dedekind or Peano axioms for arithmetic could be derived from a much narrower principle called Hume's Principle, which says roughly that two concepts have the same number just when their instances can be paired off one to one. It was R. Heck who showed, in 1993, something sharper still: that Frege himself, in his own original text, had already validly derived those same axioms from Hume's Principle, without needing Basic Law V in its full strength. Hume's Principle is not obviously safe either, but it is far more defensible than unrestricted Basic Law V, and the derivation Heck uncovered inside Frege's own work now goes by the name Frege's Theorem. The Stanford entry is candid that philosophers appreciated the importance of this work only relatively recently, which means that for most of a century Frege was read as the architect of a failure, when in fact a working piece of logicism had been sitting inside the wreckage the whole time, unnoticed because nobody had separated it from the part that actually broke.
That recovery changes what the paradox means. It is no longer simply the story of a genius refuted by a younger rival, though it is also that. It is instead a case study in how much of a formal system's real content can survive the collapse of its official foundation, and how long it can take a field to notice. The same entry traces a second, quieter dispute running through Frege's work on meaning, over whether his commitment to compositionality, the idea that a sentence's meaning is built from the meanings of its parts, can be reconciled with his equally firm insistence, in the Context Principle, that a word only means something inside the context of a full sentence. Scholars still argue over whether these two commitments can be made to sit together in one coherent picture, or whether Frege simply held both without fully reconciling them. Between the paradox he did not see coming and the theorem he did not know he had proved, Frege's legacy is less a monument than an argument still being adjudicated.