Introduction to mathematical philosophy door