Towards Mathematical Philosophy