Title: Introduction to mathematical philosophy