原始再帰関数
設定によっては、真理値を引数に含む原始再帰関数や値域が真理値であるような原始再帰関数が考えられる (Kleene 1952年、pp.226-227)。これは真理値を何らかの固定された手法で数に変換してやればよい。例えば、「真; true」を 1 に、「偽; false」を 0 に対応させるのが一般的である。このようにすると、集合 A の指示関数(1 または 0 を返す関数)をある数値が集合 A に含まれるかどうかを示す述語とみなすことができる。