Курт Гедель (1906-1978) — выдающийся логик и математик XX века, известный в научном мире благодаря теоремам о неполноте, шесть лет своей жизни пытался осуществить главное дело своей жизни — написать последнее и окончательное онтологическое доказательство бытия Бога. В результате его усилий 10.02.1970 г. появился текст, представляющий собой ряд утверждений модальной логики. Он состоит из пяти аксиом, трех определений и двух теорем. Доказательство умещается на одной странице.