Title: Towards Mathematical Philosophy