Cet ouvrage répond à une double exigence : d'une part expliquer comment la construction de l'édifice mathématique se mêle à des questionnements philosophiques ; de l'autre, offrir une introduction élémentaire aux théories mathématiques des nombres naturels, rationnels et réels. L'objectif est de présenter un modèle de rigueur dont le raisonnement philosophique devrait pouvoir s'inspirer.
Il a été écrit avec la conviction qu'aucune théorie mathématique ne peut être appréhendée sans que l'on comprenne le but qu'elle poursuit et les raisons qui la motivent. Même la plus formelle des théories, même le plus rigoureux des systèmes axiomatiques ne sont que l'expression de la structure logique d'une réalité. L'auteur cherche à montrer cette réalité et à reconstruire le parcours allant de celle-ci aux théories mathématiques qui l'expriment.
De nombreuses notes historiques ponctuent le texte et ouvrent une perspective sur l'évolution de ces théories.
Écrit pour des étudiants en philosophie, le livre est également destiné à des étudiants de science, aux enseignants, et à tous ceux qui s'intéressent à l'histoire et à la philosophie des mathématiques.
