Title: The Doctrine of formal discipline as applied to mathematics