Foundations of Mathematics
Estimated reading time: 1 min
In this chapter we will introduce some of the foundational elements required in working with mathematics. This includes defining objects like sets and functions, as well as formalizing a logical framework to prove results.