La formalisation mathématique qui caractérise la pensée rationnelle chez Spinoza permet de définir des modèles pour éclairer les points essentiels de sa philosophie. Elle rend compte inversement de la cohérence de sa réflexion. L'articulation entre pensée rationnelle et mathématique pose toutefois des difficultés redoutables. Pourtant, c'est au travers de cette tension même que l'on peut mettre en lumière l'absolue unité de la pensée spinoziste.