Примеры неявных определений в логике