LE RAISONNEMENT ET SES AUXILIAIRES

à cet égard combien est impropre l'expression fréquente « prouver que deux et deux font quatre ». On ne le prouve pas, on l'affirme, et on a le droit de le faire, parce qu'il ne s'agit pas de démontrer la vérité d'une assertion qui pourrait sembler douteuse*, mais tout simplement d'établir la synonymie tacitement conventionnelle d'expressions correspondantes.

Toutes les opérations de l'arithmétique sont fondées sur des substitutions verbales semblables.

A Cette remarque s'applique à tous les axiomes : on île les démontre pas et on ne peut pas les démontrer parce qu'il n*y a pas en eux matière à démonstration.