Under sin intervju av sökt amerikanskt medborgarskap, kände Kurt Gödel sig  tvungen att meddela att han hade upptäckt en logisk lucka i utformningen av den amerikanska konstitutionen, och som kan tänkas göra det möjligt för en diktatur att skapas.

Vad värre var, hävdade den excentriska teoretikern, var  att han hade ett bevis för det. De två sponsorerna, som hade gått i god för honom, Einstein och Morgenstern, övertygade honom på något sätt  att inte driva frågan vidare, och Gödel blev så amerikansk medborgare.

Gödels verk har gett oss insikt i makten av den första ordningens logik och dess begränsningar att fånga matematisk induktion.