Towards Mathematical Philosophy by