Identity as Recursive and Isomorphic Assumptions