"Математическая логика, основанная на теории типов" - читать интересную книгу автора (Рассел Б.)