Интересный факт
Австрийский математик Курт Гёдель, известный формулировкой логических теорем о неполноте и их доказательствами, после начала Второй Мировой войны эмигрировал в США. В 1947 году он подал заявку на получение гражданства, и в ходе слушания судья спросил у него, какой был тип правительства в Австрии. Гёдель сказал, что сначала Австрия была республикой, однако из-за несовершенства конституции скатилась в диктатуру. На реплику судьи, что в Америке такое невозможно, Гёдель ответил: «Ещё как возможно, и я могу доказать это прямо здесь», однако судья увёл разговор в другую сторону. Впоследствии, однако, Гёдель не писал и не рассказывал, в чём именно заключается логическая ошибка американской конституции.
