 What makes this situation especially interesting is that mathematicians have long been confident in the truth of GC. Hardy &amp; Littlewood asserted, back in 1922, that “there is no reasonable doubt that the theorem is correct,” and Echeverria, in a recent survey article, writes that “the certainty of mathematicians about the truth of GC is complete” (Echeverria 1996, 42). Moreover this confidence in the truth of GC is typically linked explicitly to the inductive evidence: for instance, G.H. Hardy described the numerical evidence supporting the truth of GC as “overwhelming.” Thus it seems reasonable to conclude that the grounds for mathematicians’ belief in GC is the enumerative inductive evidence.