Higher Cardinals are only a Convention

Details Higher Cardinals are only a Convention Higher Cardinals are only a Convention

2008-07-30

arxiv.org/abs/0807.4947v1

Mathematics

Logic

5 pages, no figures

Scientific paper

Zermelo's Axiom of Separation is: Exist x: Forall y: (y in x <==> y in a & E(y)) with definite(E) and parameter a. Thoralf Skolem suggested to characterize the terminus "definite" by "the property E should be representable by a FOL formula". But that is trivial. "definite" must mean more. The author claims that "definite" means "in accordance with the theory of definitions of logic". In this case the theorem of Cantor is no longer a theorem, but a undecidable sentence, and has to be established explicitly as axiom. This is not done by the community, but it is made a silent assumption that we can drop the appendix "definite(E)" from the axiom of separation at all. But this is a convention (even when it is silent) and it is nothing else than an axiom.

Affiliated with

Also associated with

No associations

Rating

Higher Cardinals are only a Convention does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Higher Cardinals are only a Convention, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Higher Cardinals are only a Convention will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-362854