Fuzzy logic
ファジィ集合 "S" のファジィ部分集合 "s" : "S" formula_8[0,1] が「帰納的可算」であるのは、帰納的写像 "h" : "S"×"N" formula_8"Ü" が存在する場合で、それはすなわち "S" の全ての "x" について関数 "h"("x","n") が "n" に対応して増加し、"s"("x") = lim "h"("x","n") となる場合である。"s" が「決定可能」であるのは、"s" とその補集合 –"s" が共に「帰納的可算」の場合である。でL-部分集合の一般ケースでのこうした理論の拡張が示されている。提案されている定義はファジィ論理ともうまく整合している。実際、次の定理が成り立つ（ファジィ論理の推論機構が明らかな有効的特性を満たしているならば）。