 Undoubtedly the most notorious of the limitations on the deductive method in mathematics are those which stem from Gödel’s incompleteness results. Although these results apply only to mathematical theories strong enough to embed arithmetic, the centrality of the natural numbers (and their extensions into the rationals, reals, complexes, etc.) as a focus of mathematical activity means that the implications are widespread.