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