stuhlmueller + goedel 1
Löb's theorem - Wikipedia, the free encyclopedia
september 2006 by stuhlmueller
In a theory with Peano arithmetic, for any formula P, if it is provable that "if P is provable then P", then P is provable.
math
logic
goedel
wikipedia
september 2006 by stuhlmueller