Proof-theoretic conceptions of mathematics

Formalism used to improve the study of proof theory, including the role of the axiom of choice.