effectiveというのは数学用語では推移的と訳される
すなわち任意の定理の証明にはこの理論は使えないということ