Truth Through Proof Truth Through Proof: A Formalist Foundation for Mathematics a Formalist Foundation for Mathematics