Один из величайших математиков XX века, Курт Гедель, доказавший в 1931 году знаменитую теорему о неполноте языка формальной математики эмигрировал в 1940 году из Австрии в США, где приступил к работе в Принстонском институте перспективных исследований. Однако долгое время он не имел американского гражданства, по паспорту продолжая оставаться подданным Австрии. В 1948 году перед экзаменом на получение гражданства США Курт Гедель досконально изучил конституцию Соединенных Штатов Америки. С точки зрения математика конституция страны является своеобразным набором логически связанных аксиом. Поэтому Гедель, прекрасно зная о неполноте аксиоматических систем, нашел в конституции США противоречия, позволяющие под вывеской «демократических прав и свобод» учредить настоящий диктаторский режим. Одним из двух поручителей Курта Геделя при получении американского гражданства был знаменитый физик Альберт Эйнштейн, с которым у нелюдимого и замкнутого Геделя сложились дружеские отношения. Курт Г
