Logic, sets, and mathematics (Q1209798)

The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and may constitute an interesting alternative to ZF set theory in allowing, too, the formalization of central notions of modern, structurally oriented mathematics.