Re: tommy1729 set axioms update

On Thu, 24 Jul 2008 01:06:59 -0700 (PDT), lwalke3@xxxxxxxxx wrote:

[...]

I wish that someone could post an alternative to ZFC

Why do you wish that? Is there some particular problem
with ZFC that you see?

(Note the question marks above...)

in a
sufficiently coherent manner, with sufficient rigor so that
no one would ask what the poster _means_ by the symbols
and terminology that he's using, and just focus on whether
the theory's consistent, and compare and contrast it with ZFC.

But until that day, this is all I have to work with! All I know is
that tommy1729 desires a theory in which the concepts of
elementhood and subsethood are unified into a single concept.

David C. Ullrich

"Understanding Godel isn't about following his formal proof.
That would make a mockery of everything Godel was up to."
(John Jones, "My talk about Godel to the post-grads."
in sci.logic.)
.

Relevant Pages

  • Re: Incompressible, infinite strings
    ... represented by infinite, incompressible strings, that carry infinite ... But it means that ZFC is badly skewed. ... That would make a mockery of everything Godel was up to." ...
    (sci.logic)
  • Re: tommy1729 set axioms update
    ... I wish that someone could post an alternative to ZFC ... Every data structure can be represented in one way or another using XML. ... "Understanding Godel isn't about following his formal proof. ...
    (sci.math)
  • Re: Characterization of hereditarily finite sets
    ... It's true, is it not, that given the rest of ZFC, foundation ... of ordinals has a strict upper bound, ... rank must be disjoint from x. ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
    ... Doesn't Godel say that there are true statements that are not ... Why ZF and not the other axiomatizations of Set Theory (ZFC, NBG, ... ZF proofs less than ZFC. ...
    (sci.logic)
  • Re: tommy1729 set axioms update
    ... cons of set theories other than ZFC. ... aren't sufficiently coherent enough to for everyone to ... understand what they are saying. ... elementhood and subsethood are unified into a single concept. ...
    (sci.math)