SETOID

A SETOID IS AN UNDEFINED TERM WHICH CANNOT BE DEFINED.

THERE IS NO POWER SETOID.
IF S IS A SETOID THEN THERE IS NO POWER SETOID.
IF THERE IS A POWER SETOIN THEN THE POWER SETOID IS EQUAL TO ITSELF.
IT IS UNIQUE. IF S AND C ARE TO SETOID THEN S=C.
THERE ARE TWO TYPES OF SETOIDS.
PARADOXIAL SETOID
NON PARADOXIAL SETOID
IF S IS A SETOID THENN IF X BELONGETH TO S AND XBELONGETH TO S <=> X
BELONGETH NOT TO S THEN IT IS A PARADOXIAL
SETOID.
A SETOID IS A HEMISET OR SEMISET IF IT IS NOT PARAOXIAL AND IF A
BELONGETH TO S AND A INTERSECTION S IS NOT EMPTY SETOID.
SET.
A SET IS A SETOID IF IT IS A HEMISET BUT IF A BELONGETH TO S THEN A
INTERSECTION S IS EMPTY.
FURTHER TYPES ARE ALSO POSSIBLE.
FROM MATHEMATICS AND LOGIC
MLT ' MATHEMATICSLOGIC THEORY'