Re: Implementable Set Theory and Consistency of ZFC

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

So, even if I don't make use of (5-8), a proof of A from (1-4) is a
proof from (1-8) ?

Of course.

So, even if I say "there exists a Foo", then such a statement is a
valid premise for proving that the integral of 1/t from 1 to x is
ln(x) ? Weird ..

The statement can be proved in the theory consisting of the usual
axioms for real analysis and "there exists a Foo", yes. Do you think
that every theorem of ZFC uses every axiom of ZFC in its proof?

--
"Now I'm informing all of you that the people arguing against me are EVIL,
yes they are real, live EVIL people as mathematics is that important, so
it's important enough for Evil itself to send minions like them."
-- James Harris on Evil's interest in Algebraic Number Theory
.

Relevant Pages