"Философия математики. Основные программы обоснования математики XX столетия" - читать интересную книгу автора (Светлов В.А.)