Схемы дедуктивных умозаключений в математике