Из Гиббсовской лекции Гёделя «Некоторые базовые теоремы об основаниях математики и их философские следствия» (Some basic theorems on the foundations of mathematics and their philosophical implications), прочитанной на заседании Американского математического общества в 1951 г.
