Overview
First order is the primary form of logic used in mathematical reasoning. It is powerful enough to encode most of mathemathics. In particular, it is powerful enough to encode set theory.
Language Features
First order language is generally described to be composed of the following parts: