Undecidable and creative theories
Tom 49 / 1961
Fundamenta Mathematicae 49 (1961), 171-179
DOI: 10.4064/fm-49-2-171-179