A First-order language in Zermelo-Fraenkel set theory consists of the following symbols:
First-order languages are used to describe mathematics in mathematical notation with mathematical formulae.
Categories: [Language] [Logic] [Mathematics]