Введение в теорию определений Явные и неявные определения в логике примеры