Re: Implementable Set Theory and Consistency of ZFC

David C. Ullrich wrote:

But ZFC does not consist of "ZFC plus the negation of Infinity"
plus more axioms (it _is_ equal to "ZFC without Infinity" plus
more axioms).

Let's add to it the response by Jesse F. Hughes, and see if that might
lead to something that resembles agreement between us.

[ ... ] It seems to me that your model contains every set required
by axioms (1)-(4) and no sets that are not required and so it is
apparently minimal. If I were to hazard a guess, I would say that
there is a model homomorphism mapping your model into any other model
of (1)-(4). I would further guess that this homomorphism is
one-to-one.

What do you think?

Han de Bruijn

.

Relevant Pages

  • Re: axioms of mathematical logic
    ... i agree with ullrich,and disagree with jones. ... first was taught the language of predicate logic, ... then given the list of ZFC axioms. ... but then saying they can chose the axioms to use only after that. ...
    (sci.logic)
  • Re: Deep Thoughts # 7: A New Kind of Mathematics
    ... I forgot that he had included a snippet of code, but Ullrich was ... > shows axioms (for the natural numbers, addition, multiplication, less ... Addition and multiplication are defined by recursion. ... Equality is part of FOL, and features of equality specific to N are ...
    (sci.math)
  • Re: Deep Thoughts # 7: A New Kind of Mathematics
    ... I forgot that he had included a snippet of code, but Ullrich was ... > shows axioms (for the natural numbers, addition, multiplication, less ... Addition and multiplication are defined by recursion. ... Equality is part of FOL, and features of equality specific to N are ...
    (sci.logic)
  • Re: Complex numbers in the plane, axiom or consequence?
    ... David C. Ullrich ha escrit: ... Actually saying that there's no way to show PA is consistent ... with the other axioms". ...
    (sci.math)
  • Re: Why to accept that the present set of arithmetical axioms are sufficient?
    ... >David C. Ullrich wrote: ... >If mathematicians are struggling with Goldbach's, twin prime, ... >Why not to introduce 2 or 3 new axioms that can be utilized for the ...
    (sci.math)