We describe a concept of foundations for mathematics. We develop basic logic and function (set) theory in one run and from scratch. Some uncommon choices in the setup are intended to optimize brevity while maintaining rigor. The high level of compression of the theory leads to a display of some philosophical points about mathematics.
CITATION STYLE
Minton, G. E. (2013). The First Chapter. In John Bale’s “The Image of Both Churches” (pp. 51–59). Springer Netherlands. https://doi.org/10.1007/978-94-007-7296-0_3
Mendeley helps you to discover research relevant for your work.