Re: If ZFC is incomplete it can not prove anything

On Apr 26, 7:24 pm, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:

A bunch of crap that raises the question, "Why are you unable
to use punctuation?"

But just to address your concern, you're right, there are any
number (an infinite number, in fact) of sentences in the first-order
language over "e" that ZFC does not decide. BUT *SO WHAT*??
That has NO effect whatsoEVER on the EQUALLY great number
of sentences that it DOES decide. In particular, it decides all
of its axioms AND all of its theorems as TRUE (i.e., it PROVES them,
under 1st-order logic). The fact that it doesn't prove OTHER things
has NO effect on what it DOES prove.

.