← ux-phi
Princeton 1947: Gödel's Citizenship Test