set theory fundamentals of set theory propositional logic first-order logic typed predicate logic membership relation propositional equality set, element, function, relation universe, small set, large set material set theory membership relation, propositional equality, axiom of extensionality pairing structure, axiom of pairing union structure, axiom of union powerset structure, axiom of power set