An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, …