Download Truth Through Proof A Formalist Foundation For Mathematics