Re: Implementable Set Theory and Consistency of ZFC

Jesse F. Hughes wrote:

Why not just tell me what you meant when you said that your claim
applied to "any implementation" if not "any model of these eight
axioms"?

Don't know what kind of silly word game you are playing with me this
time, but what I mean is a "model" of the following except "X":

1. Extensionality 5. Specification X. Infinity
2. Empty set 6. Substitution
3. Pairing 7. Power Set
4. Union 8. Foundation
9. Choice

And, as I've said, in this "model", only (1-4) are necessary as axioms,
because (5-9) appear as theorems. And (X) is not part of the "model".

Han de Bruijn

.

Relevant Pages

  • Re: infinitely many nns = infinite nns?
    ... First, you would have to STATE SOME AXIOMS, ... Here, "infinitely many" is aleph-0, which is "actual infinity." ... Similarly, the "fact" that all the numbers are "finite" means that all numbers have values LESS THAN aleph-0, that the natural numbers are limited to "potentially infinite" values. ... To be honest, it won't SURPRISE me one iota if you claim that there are some natural numbers with infinitely many digits, but that they, too, have only finite values. ...
    (sci.logic)
  • Re: infinitely many nns = infinite nns?
    ... You asked for my axioms, and I really want to use the standard ones, so the question is mostly pointless, but I thought I would give clearer definitions of how I am using actual and potential infinity. ... "Aleph-0" DOES NOT EXIST outside some LOGICAL context ... "Actual infinity" is a term from informal natural-language ...
    (sci.logic)
  • Re: infinitely many nns = infinite nns?
    ... These are axioms and assumed correct. ... state whether they should be used with potential, or actual, infinity. ... cannot use potential infinity for some conclusions, ... through Axiom, mathematical induction, or as it is sometimes called, ...
    (sci.logic)
  • Re: Existence of reals and observation of them
    ... infinity, then infinity doesn't exist even as cardinality. ... You need to read the axioms and the derivations of the theorems ... if persons of good will could continue to disagree over basic ... science of mathematics. ...
    (sci.math)
  • Re: Logarithm of transfinite numbers
    ... These infinity arguments always seem to boil down to ... standard models vs non-standard models. ... Peano's axioms are model blind: ...
    (sci.math)