La logique pure ne pourrait jamais nous conduire à autre chose que des tautologies; cela ne peut rien créer de nouveau.

Henri Poincaré