Outlines of a Formalist Philosophy of Mathematics (Study in Logic & Mathematics)