明示的な再帰コンビネータを持つ系（GordonPlotkinのPCFなど）も正規化しないが、論理体系として解釈されることを意図していない。
有明确的递归组合子的系统，比如GordonPlotkin的PCF，不是规范化的，但是它们不意图被解释为逻辑。