Re: dissolving Russel's Paradox



I think set existing after element exists.so we should say 1: To any definite element or elements there is at least a set existing and including them;
if elements a,b,...,there is set A={a,b,...,};
2: to any definite element a, a implicates set A,and we can say a is similar to set A,I use the sign # expressing "similar to",so a # A;A # a;
3: if a # A,b # A,so a # b
4: if element "a" and defining operations or functions we can get a definite set;
for example,if number 1 exists and defining plus,minus we can get set Z;
So,element is the first,set is the second,and any element implicates the set including it;so the Russell's paradox can't exist,we don't need type theory.
the #(similar to) can interpret the natural connection of element and set.we can't define any set without definite element.the problem is how to get the "whole"set of all the first sets?what way?plus,minus,combine?for example.if
A={natural et,rational set,real set},if using combine operation then A=[real set},so A is an element of A?but the fact is : A+ combine operation => B=real set
.



Relevant Pages

  • Re: Deriving space-time interval
    ... Ah, see, this is where you diverge from science, Dennis. ... "interpret" the measurement to be something other than 0.9999c. ... The paradox exists in the hypothesis and not any experiments. ... If any experiment time after time does not show the paradox, ...
    (sci.physics.relativity)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... In, you interpret ... theory is inconsistent. ... And the paradox is just there. ... contradictions. ...
    (sci.math)
  • Re: Small Set theory:Revised.
    ... I think that this paradox is a deeper one that I originally ... Type theory is one approach against the Russel paradox. ... And if Ax runs over non-existing sets, does that mean that you want ... For the first time you made bad replies, while all your replies in this ...
    (sci.math)
  • Re: How is this collection called?
    ... Laconic2 et al: ... Russel's Paradox is also neatly sidestepped by Russel's, Whitehead's, ... and Church's work in Type Theory, meaning Laws of Form (which may have ...
    (comp.theory)
  • Re: Deriving space-time interval
    ... fairly straightforward to *measure* that velocity the same way I ... "interpret" the measurement to be something other than 0.9999c. ... The measurement is but to decipher the measurement is not as trivial ... There is no paradox. ...
    (sci.physics.relativity)