Undecidable theories - Tarski, Alfred (Studies in logic and the foundations of mathematics nStudies in logic and the foundations of mathematics, 1953)