This paper provides examples in arithmetic of the account of rational intuition and evidence developed in my book After Gödel: Platonism and Rationalism in Mathematics and Logic . The paper supplements the book but can be read independently of it. It starts with some simple examples of problem-solving in arithmetic practice and proceeds to general phenomenological conditions that make such problem-solving possible. In proceeding from elementary ‘authentic’ parts of arithmetic to axiomatic formal arithmetic, the paper exhibits some elements of the (...) genetic analysis of arithmetic knowledge that is called for in Husserl’s philosophy. This issues in an elaboration on a number of Gödel’s remarks about the meaning of his incompleteness theorems for the notion of evidence in mathematics. (shrink)