Elementary logic and set theory, number systems (including integers, rationals, reals and complex numbers), bounds, supremums and infimums, basic combinatorics, functions ... Matrices and systems of ...