Математика и логика: классификация с пересечением