Maths›03. Logic and Foundations2.1 Terms, Predicates, FormulasSyntax of first order logic including terms, predicate symbols, and the formation of formulas.