Первая теорема Геделя о неполноте: (Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), существует такая замкнутая формула F, что ни F, ни  не являются выводимыми в этой теории.). Вы заметили?