Собственно, предлагается привести пример борелевской, конечно-аддитивной, но не счётно аддитивной меры. Задача
отсюда (какая-то из контрольных Вербицкого по мере), и там написано, что эту задачу сам Вербицкий не знает как решить без ультрафильтров. Я придумал следующее: введём меру на сигма-алгебре

следующим образом:
1) Мера одноточечного множества

равна

.
2) Мера любого конечного множества - по аддитивности.
3) Мера любого бесконечного множества

.
теперь ограничим

на сигма-алгебру борелевских множеств. Получим требуемую меру (счётно аддитивность теряется, например, если взять объединение одноточечных множеств вида

), мне интересно, я что-то в задаче не допонял, или собака была зарыта столь неглубоко? Или имелись в виду только конечные меры?