Undecidable Theories - Tarski, Alfred (Studies in logic and the foundations of mathematics., 1968)