Re: Implementable Set Theory and Consistency of ZFC

hagman wrote:

I believe that the theory of natural numbers is consistant.
One keystone of this my belief is the Axiom of Infinity in ZFC.

That's quite some _overkill_, huh?

But still your theory is only a theory of some sets so to speak
and if you are content with that small universe, then be happy with
it.
In my elementary scohool says, we learned some toy set theory
with urelements of two sizes, three shapes and four colours
(and no sets of sets).
What we learned was just a theory of sets of such pieces, that is:
_not_ suitable per se as a Fondation of Mathematics.

As I've said elsewhere:

It appears that the confusion stems from mainstream mathematics failure
to distinguish a childish model from any serious implementation, once
again. Look, my Implementable Set Theory e.g. is covering all Database
Applications on Earth, which is .. a billion dollar business!

Han de Bruijn

.

Relevant Pages

  • Re: The Power Set Paradox
    ... itself, infinity and zero, the origin and ... The universe is infinite, infinite sets are equivalent, etcetera. ... Set theory is useful, its early adopters in formalization found ... maybe after a couple years investigating the perceived paradoxes ...
    (sci.logic)
  • Re: Set theory and consistence.
    ... use of English but just about the terminology in the subject matter ... set theory would'nt represent "e" by the membership relation. ... A universe of a model for set theory usually IS a set. ...
    (sci.math)
  • Re: Physics upgrade.
    ... > Basically, given Axiom 1, no two objects in the physical universe are ... Set theory deals mainly with collections which qualify as sets. ... but the physical universe is not abstract. ... > Axiom 1 is an extremely general statement which can be made about real ...
    (sci.math)
  • Re: Uncountable sets
    ... the existence of anything bigger. ... theory (with a universe), the Mengenlehre, is not ZF, the Zermelo- ... A primary difference between naive set theory, ... Where each of the other axioms of ZF set theory was enlisted to enrich ...
    (sci.math)
  • Re: Uncountable sets
    ... the existence of anything bigger. ... theory (with a universe), the Mengenlehre, is not ZF, the Zermelo- ... A primary difference between naive set theory, ... Where each of the other axioms of ZF set theory was enlisted to enrich ...
    (sci.math)