Propositional logic

Preterite logic

Set theory

Arithmetic

Sequences

Elementary algebra

Prime numbers

Real numbers

Complex numbers

Group theory

Rings

Fields

Real functions

Univariate calculus

Trigonometry

Taylor and Fourier analysis

Important functions of real numbers

Ordinary Differential Equations (ODEs)

Vector spaces

Linear endomorphisms

Linear forms

Linear maps

Algebra over a field, and Lie algebra

Exterior algebra

Tensors

Infinite-dimensional vector spaces

Multivariate calculus

Partial Differential Equations (PDEs)

Exterior calculus

Calculus of variations

Optimisation

Complex calculus

Riemann surfaces

Metric space

Topology of finite sets

Measure space

Topological manifolds

Differentiable manifolds

Riemann manifolds

Euclidian geometry

Graph theory