A generalized contradiction principle
Tom 65 / 1969
Fundamenta Mathematicae 65 (1969), 193-195
DOI: 10.4064/fm-65-2-193-195