Философия математики: Основные программы обоснования математики ХХ ...