robert w. marks

• simplifying set theory