Foundational mathematics

Summary