The history of mathematics - Faulkner, Nicholas; Gregersen, Erik (The foundations of math, 2018)