Maths›03. Logic and Foundations5.5 Limitations of First Order LogicExpressive limitations of first order logic, including inexpressibility of finiteness and categoricity issues.