Gödel, whose theorem ruled out the possibility of definitively banishing contradiction from arithmetic, was also worried about the Constitution, which he was studying in preparation for his 1948 U.S. citizenship test. In his view, the document contained a contradiction that could allow a Fascist dictatorship to take over the country in a perfectly constitutional manner.
