Dictionnaire raisonne de mathematiques

Dictionnaire raisonné
La logique fait, ou ne fait pas, partie des mathématiques suivant les auteurs, mais son utilisation universelle la fait rester en-dehors de cette science qui n'en est qu'un prolongement. Plus précisément, on ne peut nier que soit mathématique, dans la logique, la présentation qui en est faite aujourd'hui, coordonnant et affermissant dans un cadre bien défini des méthodes millénaires de pensée déductive. Quoi qu'il en soit, la logique est un préliminaire indispensable aux mathématiques elles-mêmes, car elle en justifie les mécanismes internes en lui donnant le moyen de condenser des démonstrations complexes en des successions de textes intelligibles pratiquement, c'est-à-dire adaptés aux capacités restreintes de l'esprit humain.
Page 258