Foundations of mathematics

Basic framework 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. This may also include the philosophical study of the relation of this framework with reality.

From Wikipedia, under CC BY-SA. More on occurri.