Re: continuum hypothesis and 0=1

On Mar 13, 10:48 pm, "MoeBlee" <jazzm...@xxxxxxxxxxx> wrote:
"2+2=5" is not a theorem of PA.

Let me ask a precise question:

Can one rule out the possibility of proving 0=1 in the formal system
called PM in Gödel's "On Formally Undecidable Propositions of
Principia Mathematica and Related Systems"?


.