Re: Implementable Set Theory and Consistency of ZFC

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

Yes. I've used _only_ Extensionality, Empty set, Pairing and
Union. Then it follows I can make _any_ (finite) set with these. The
other axioms do _not_ add any constructive power to this. Therefore
I conclude they must be theorems, instead of axioms. As long as the
theory is _constructive_, i.e. without the axiom of Infinity.

Okay, so you don't know what "theorem" means. We get it.

--
"Quincy, would you rather do epistemology or conceptual analysis?"
"You know what? I'd rather fight on an aircraft carrier.... And Mama
and Baba (Papa) would fight on an aircraft carrier, too."
-- Quincy P. Hughes, age 3 1/2
.

Relevant Pages