Title: Outlines of a Formalist Philosophy of Mathematics