Классы в дедукции