The First Order Language of Set Theory

The language has only two predicates, both binary and infix.

• The equality symbol =
• The set membership symbol

A sentence of the form a = b is true if the constants a and b name one and the same thing.

A sentence of the form is true if and only if b is the name of a set and a names an element of that set.

 
• Exercise