Very Short Introductions: Brilliant, Sharp, Inspiring Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing …