How to Bootstrap Mathematics - Pt1
Epistemic status: unhinged, mostly subjective, yet fun. Motivations The main objective of this post is to expose the molten core of mathematics and figure out from first principles what it means to “do mathematics”. There is no better stage for this than Set Theory. What follows is not the classical introduction to Sets. This part is heavily inspired by Tom Leinster’s Rethinking Set Theory. This is an attempt to expand on his paper. For further details please visit his website and his other mind-bending papers. ...