Re: Cantor's circular "proof" that evens = integers



On 2007-05-09, in sci.logic, herbzet wrote:
Whether "THAT infinite set was PRODUCED BY *the axiom of infinity*!"
or had some existence "prior" to the axioms, my personal opinion
is that, assuming consistency of the axioms of ZFC, that infinite
set is a logically possible entity, whatever its status as an
actually existent entity, or as a conditionally existent entity.

Before addressing your other comments, let me ask you a question. Are
infinite sets logically possible entitites if ZFC is consistent but proves
"ZFC is inconsistent"? What about if ZFC proves "ZFC proves a false
statement about the omega_omega'th level of the cumulative hierarchy"?

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.



Relevant Pages