Математика и логика: изучаем результат объединения