Re: Gödel's system P, Principia Mathematica,

On Jan 28, 10:19 pm, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
you say godels  axiom 1V is not the axiom of reducibility of PM


I said no such thing. What you say here has absolutely no bearing on
my last post. You seem to be arguing that P is an impredicative
system. Yes, I know that, thank you. The point I am trying to make to
you is that P is the object theory, not the metatheory. If the object
theory is unsound, that has no bearing on the validity of the result.
Also, the result generalizes to many other object theories, including
predicative ones. The question we should ask is whether we should
accept the metatheory. If we accept the metatheory, then we should
accept the theorem. And the metatheory can be very weak, such as
Bounded Arithmetic. Do you have any objection to Bounded Arithmetic?
.

Relevant Pages