Email-запись: Математический интуиционизм введение в теорию доказательств