Et la Logique n'est plus une branche de la philosophie non plus, mais des Mathématiques.