非可述性を避ける為に導入されたのが分岐型理論。
階層αまでに定義された集合を使って定義された集合が階層α＋１をなす。
可述的とはこの階層の外側を考えないこと。
この階層にでてくる集合を構成可能的と呼ぶ。
従って可述的＝構成可能的。