 By a partial function on \(\bN\) we mean a mapping whose domain is a subset of \(\bN\); if the domain is \(\bN\) itself, then we call the function a total function on \(\bN\). Richman’s approach to RUSS is based on intuitionistic logic and a single axiom of computable partial functions (CPF):