"Outlines of a Formalist Philosophy of Mathematics " - читать интересную книгу автора (Haskell B. Curry)