(no subject)

Кажется, изящное решение найдено -- вместо множества действительных чисел брать отрезок [0,1] и считать, что все функции из [0,1] в [0,1] интегрируемы (это возможно в ZF без аксиомы выбора). Выражения чуть-чуть переопределю, чтобы они принимали значения в отрезке [0,1] (заменю сложение на умножение, выброшу константу \pi, это всё только в последней главке). Через несколько дней напишу, сейчас опять вычитываю, надеюсь уже получить стабильный текст.