Неявные определения в логике: принципы и примеры