The definition for stephen cole kleene