Re: The Difference between a Set and an Element

On 16 Jan 2007 09:20:27 -0800, "Paul Holbach"
<paulholbachDELETETHENAME@xxxxxxxxxx> wrote:

Minor correction:


Now in a 2OL we have the principle of comprehension:
~~~~~~~~~~~~~
EFAx(Fx <-> ...x...),

where "...x..." is a formula in x.


That's the key to the proof (of course).

"[The] comprehension principle for concepts ensures that the domain of
concepts is very rich."

(E. Zalta: http://plato.stanford.edu/entries/frege-logic)


F.

--

E-mail: info<at>simple-line<dot>de
.

Relevant Pages

  • Re: OT: Where is the center of the universe?
    ... said, "God does not roll dice", what he was saying was that God does not ... base nature on principles beyond the comprehension of man. ... to us doesn't mean there is not a underlying principle. ...
    (alt.games.warcraft)
  • Re: Small set theory.
    ... inconsistent. ... Naive comprehension is the principle that, ...
    (sci.math)
Loading