Undecidable theories - Tarski, Alfred ((Studies in Logic and the Foundations of Mathematics), 1953)