Löb's theorem

短语

释义与例句

name
  1. 1.

    A theorem stating that, in any formal system F with Peano arithmetic, for any formula P, if it is provable in F that "if P is provable in F then P is true", then P is provable in F.

    数学 哲学

词源

Named after Martin Löb, who formulated it in 1955.

来源：wiktionary