Introduction To mathematical philosophy