Title: On normalization of proofs in set theory
Subjects: Set theory, Proof theory