Foundations of mathematics is the study of the basic mathematical concepts (number, geometrical figure, set, function… ) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms… ) also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics.