antinomies of naïve set theory raised the possibility that any such system could turn out to be inconsistent.

The formalist project suffered a setback a century ago, when Gödel showed that it is possible, for any sufficiently large set of axioms (Peano's axioms, for example) to construct a statement whose truth is independent of that set of axioms. As a corollary,