"Outlines of a formalist philosophy of mathematics" - читать интересную книгу автора (Lev D. Beklemishev)