La logique est l’hygiène des mathématiques

André Weil