形式不可判定命题

形式不可判定命题（formal undecidable proposition）是1993年发布的数学名词。