6.2321 Et que les propositions de la mathématique puissent être démontrées, cela ne veut rien dire d'autre sinon que leur correction est percevable sans que ce qu'elles expriment doive être comparé avec les faits, pour établir sa propre correction.