Re: ZFC means?

David C. Ullrich wrote & Charlie-Boo wrote & Daryl McCullough wrote

> >> and that value is a natural number. So we can
> >> go from the set of closed terms
> >> to the set of naturals S = { value(t) | t is in A }
> >> So we can say that Phi(x) represents set S.
> >
> >Just what I wanted in the first place, TQ.
>
> Well if that's what you wanted then the way you
> asked the question was _very_ curious. You specified
> you were asking about set theory, in fact you specified
> that it was a question about ZF. But the above is _not_
> about set theory, it's something regarding defining
> sets of integers in _arithemtic_:
>
> >> Now, let's turn from arithmetic to ZFC.
>
> See?

I never said that you can represent sets in ZFC. I said you can
express them, and then Torkel asked me how you can represent them.
(See my earlier post for definitions of these terms that you said that
you were unfamiliar with. Check any standard book on Logic, e.g. any
of Smullyan's numerous texts.)

So I thought I'd help Torkel out and see how we could do that. If
you can't, then let's fix ZFC, is my attitude. I already helped
him by showing him a number of utlra-simple proofs of Rosser's
theorem that my Axiomatization of Computer Science generates, so he
could add it to his Godel books that don't contain Rosser's
improvement. He came back with additional requests for help, so why
shouldn't I continue to help him out?

I mean, he used to attack me, but after I proved my points he's sort
of calmed down and now is asking for my help. Isn't that a big
improvement?

> ************************
>
> David C. Ullrich

.

Relevant Pages

  • Re: tommy1729 set axioms update
    ... David C. Ullrich wrote: ... I wish that someone could post an alternative to ZFC ... Every data structure can be represented in one way or another using XML. ...
    (sci.math)
  • Re: What is the 1st order formal system known as PA?
    ... > certain reasoning agent]. ... > any model of ZFC is one of ZF; and the ZFC theory is effectively also ... >> David C. Ullrich ...
    (sci.logic)
  • Re: ZFC means?
    ... >David C. Ullrich says... ... >>in FOL with equality, for something kinda more or less ... >>every treatment of ZFC I've ever seen. ...
    (sci.logic)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... ZFC is not about sets, it's about certain properties of sets. ... Han de Bruijn ... David C. Ullrich ...
    (sci.math)
  • Re: Peanos space-filling curve
    ... I've replied to four posts in one to save space and time. ... David C. Ullrich wrote in message ... I have difficulty with 'separate' applied to ordered reals. ...
    (sci.fractals)
Quantcast