Universal set (universal class): comprises an assembly which is a determined by properties. It contains elements and subsets, not the properties. > Comprehension axiom,> self-reference,> paradoxes, > second order logic, > higher order logic, (HOL)_____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |