Undercidable theories - Tarski Alfred (1953)
Keywords: PHILOSOPHY