Perhaps the most serious attempt to formalize number theory was by the two mathematicians Bertrand Russell and Alfred North Whitehead.
Russell's philosophy of mathematics was not formalist, however; it is usually considered a form of logicism.