1 Subjects: “...plurals, plural logic, set theory, mereology, higher-order logic, absolute generality, modality...”

2 Subjects: “...set theory...”

3 “... consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems...”

4 “... not presuppose any background in formal logic or set theory....”