We’ll discuss formal languages in more detail later, after talking about logic and set theory, but we need at least a rudimentary understanding of formal languages in order to formalise logic and set theory.