Явная схема и неявная схема Неявные определения в логике примеры