Re: Implementable Set Theory and Consistency of ZFC

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

hagman wrote:

This is still not correct as the Axiom of Infinity is an axiom of ZFC
and does not hold in your model (which is thus a model of ZFC-
Infinity, in fact one of ZFC-Infinity+~Infinity).

With help of a bijection, which was basically discovered by Alexander
Abian, a "simple model", or rather an _Implementation_ of Set Theory in
memory of common digital computers, has been conceived, in theory as
well as in practice. With the implementation it can be proved that eight
out of the nine axioms of ZFC are consistent, and that only the first
four axioms are necessary for a constructive build of all sets.

It's not clear to me what the last claim means, but regardless, it
must mean something about "all sets" in this particular model of
ZFC - Infinity and not all sets of ZFC.

--
"[I]f I could go back, [...] I would tell myself not to step into a position
where the fate of the entire world could rest in my hands. I would [avoid
this] path to a nightmarish and surreal world, a topsy-turvy world, where
everything changes." -- James S. Harris cannot escape his destiny.
.

Relevant Pages