"Constructivism in Mathematics: An Introduction" - читать интересную книгу автора (A. S. Troelstra)