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.