定理.
弗里德堡定理.设 formula_1，则存在 formula_2 使 formula_3。
肖恩菲尔德定理.设 formula_1 且可用具备 formula_5 的预言机递归枚举，则存在 formula_6 使 formula_3。
萨克斯定理.设 formula_1 且可用具备 formula_5 的预言机递归枚举，则存在递归可枚举集合 formula_2 使 formula_3。