Une remise en cause de nos pratiques inférentielles classiques, fondée sur une réflexion sur la nature de l'activité mathématicienne et la notion de preuve. La lecture de Frege et de Wittgenstein, les pères fondateurs du courant analytique, et des intuitionnistes est au centre de ces réflexions.