定理９３が非常に読みにくい。なんでかなと考えてみた。たぶん二階述語論理ってのに慣れてないせいだと思う。この定理はメタ変数としてf(x)とE{何らかのxの集合}を考え、また、メタ関数としてF(e)と"積分S(e,f)"を考えて、これらを対象とした命題になっている。量化子で縛られるのはメタ変数、メタ関数である。∀E,f,F,μとか。これを変数x、関数ｆ(x)を対象とした一階の定理として捉えようとするからわけがわからなくなる。
ようするに、xとf(x)についての定理ではなく、E,f,F,μについての定理だということ