Outlines of a Formalist Philosophy of Mathematics