Japanese レーブの定理 Cited by user Cocoa ruto on 02 May 2024 数理論理学におけるレーブの定理 (Löb's theorem) は、ペアノ算術 (PA) (またはPAを含む任意の形式体系)において、任意の論理式Pについて、「PがPAで証明可能ならばPは真である」ことがPAで証明可能ならば、PはPAで証明可能であることを述べている.
Italian Teorema di Löb Cited by user 87.2.122.80 on 14 Oct 2022 Nella logica matematica, il teorema di Löb stabilisce che nell'aritmetica di Peano (PA, o in qualsiasi sistema formale che la includa), per qualsiasi formula P, se è…
English Löb's theorem Cited by user 71.34.89.179 on 16 Feb 2015 In mathematical logic, Löb's theorem states that in a theory with Peano arithmetic, for any formula P, if it is provable that "if P is provable then P is true", then P…