Compactness and Contradiction