On the Formalization of Theories
We propose that the set theory ZFC slightly modified to allow for urelements, and extended with appropriate definitional schemata, constitutes a complete description of natural human logic and that it constitutes a lingua characterica and a calculus ratiocinator in the sense of Leibniz.
urelement zf(+) axiom schema of replacement