En 1931 et alors qu'il était encore à Vienne, Gödel a publié ses fameux théorèmes d'incomplétude dans "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme '' -LRB- appelé en anglais '' On formally undecidable propositions of Principia Mathematica and related systems '-RRB-.
Cette phrase est fausse est une proposition qui est appelée indécidable.