set theory / predicate logic math language problem

Printable View