The Formalist Finite