Sets have types {theory of types, laws of form} {laws of form}. Sets have lower or higher type than other sets. Lower sets cannot be in statements about higher sets, and higher sets cannot be in statements about lower sets.
differences
Laws of form use differences {calculus of indications}.
self-reference
In set type, boundary contains object surrounded, and object is boundary {self-reference, set}. Self-reference allows references to members, classes, classes of classes, and so on. Imaginary numbers express self-reference and self-referential statements, because imaginary numbers can represent time dimensions.
Statements that use set types correctly can use self-reference. Statements that do not use set types correctly must not use self-reference.
space or set
Members, definition, description, selection, name, or statement define space or set {space, laws of form}. Spaces can imply boundaries and have natural boundaries. Absolute time and relative time can be boundaries and show boundary history {creativity, laws of form}.
logical laws
Laws of form are equivalent to logical laws. NOT a = marked a. a OR b = NOT a AND NOT b. a AND b = NOT (NOT a OR NOT b). a THEN b = NOT a OR b.
Mathematical Sciences>Set Theory>Laws Of Form
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224