6.211 Dans la vie, ce n'est pas de propositions mathématiques dont nous avons besoin, mais nous usons de la proposition mathématique, pour déduire, de propositions qui n'appartiennent pas à la mathématique, d'autres propositions, qui ne lui appartiennent pas non plus.

(En philosophie la question : « À quoi proprement nous sert ce mot, cette proposition ? » conduit toujours à des intuitions précieuses.)