pre-requisite: [[Logic]] This will be a relatively Naive approach to set theory... but I need the definitions and theorems elsewhere While [[Logic]] concerns itself with the evaluation of a statement for truth, that truth depends entirely on the *objects* the statement is referring to. Mathematical objects are anything "formally defined" [[Binary Relation]] [[Set]] [[Element of a Set]] [[extensionality]] [[Equality of sets]] [[Subset]] [[empty set]] [[Universal Set]] [[Power Set]] [[union]] [[intersection]] [[disjoint]] [[Assignment Statement]]