Title: Compactness And Contradiction
Subjects: Proof theory, Mathematical analysis