Foundations of mathematics

Foundations of mathematics are the logical and mathematical frameworks that allow the development of mathematics without generating self-contradictory theories, and to have reliable concepts of theorems, proofs, algorithms, etc. in particular.

Source: Wikipedia — Foundations of mathematics (CC BY-SA 4.0)