Löb's theorem

专有名词

英文释义

专有名词
  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.
0 次浏览 数据来源: Wiktionary