Re: Implementable Set Theory and Consistency of ZFC

MoeBlee wrote:

On Oct 15, 7:18 am, Han de Bruijn <Han.deBru...@xxxxxxxxxxxxxx> wrote:

Hereditarily finite sets = naturals : implementable set theory
_ Mainstream mathematics : naturals = finite ordinals

So the naturals are a common factor in two theories. And they join the
finite ordinals (that is: axiom of Infinity) with the "set of all sets"
in implementable set theory. The latter does not exist, though.

Doesn't that say something? Isn't there an analogous pattern, somewhere
in common model theory?

There is no principle of model theory or mathemtatical logic that
permits the inference you are trying to make.

Can it be assumed that you are knowledgable enough, so that I can trust
this assertion of yours?

Your argument is ludicrous; it's based on your manifest ignorance and
misunderstanding of the basics of the subject.

The usual mainstream reaction when they are running out of "arguments".

Very weak.

Han de Bruijn

.

Relevant Pages

  • Re: Implementable Set Theory and Consistency of ZFC
    ... _ Mainstream mathematics: naturals = finite ordinals ... So the naturals are a common factor in two theories. ... finite ordinals with the "set of all sets" ...
    (sci.math)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... So the naturals are a common factor in two theories. ... finite ordinals with the "set of all sets" ... The usual mainstream reaction when they are running out of ...
    (sci.math)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... So the naturals are a common factor in two theories. ... proved that eight out of the nine axioms of ZFC are consistent, ... consistent within common mathematics. ...
    (sci.math)
  • Re: abundance of irrationals!)
    ... >>> between the finite cardinals and the finite ordinals. ... The fact is that one cannot have an infinite set of finite numbers, if the difference between any two is at ... largest element with value n, then a set of the first N naturals, an infinite number, must have a maximum ...
    (sci.math)
  • Re: An uncountable countable set
    ... set of natural numbers is the set of finite ordinals which is the set ... of finite cardinals. ... Therefore we can limit ourselves to the naturals and forget all the ... _without_ set theory. ...
    (sci.math)