Recueil des principaux articles du philosophe américain sur les idéaux de preuve, c'est-à-dire les différentes valeurs à l'oeuvre dans l'appréciation des preuves mathématiques : la rigueur, la pureté, la mécanisation, l'intuition, la justice, entre autres. Ils sont précédés par une étude sur la philosophie des mathématiques, initialement publiée en 1994.