TRAVELS: Co-author of the The Banach-Tarski Paradox (1924), which states that: A ball can be decomposed and reassembled into two balls the same size as the original; author of Tarski's undefinability theorem (1936) which states that arithmetical truth cannot be defined in arithmetic.