В 1931 году, еще находясь в Вене, Гёдель опубликовал свои знаменитые теоремы о неполноте в «Über Formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme» (по-английски «О формально неразрешимых предложениях Principia Mathematica и связанных систем»).
Это предложение ложно - это предложение, которое называется неразрешимым.