The phenomenon of evolutionary complexification corresponds to the generation of new coding systems (defined as а codepoiesis by Marcello Barbieri). The whole process of generating novel coding statements that substantiate organizational complexification leads to an expansion of the system that incorporates externality to support newly generated complex structures. During complexifying evolution, the values are assigned to the previously unproven statements via their encoding by using new codes or rearranging the old ones. In this perspective, living systems during evolution continuously realize the proof of Gödel's theorem. In the real physical world, this realization is grounded in the irreversible reduction of the fundamental uncertainty appearing in the self-referential process of internal measurement performed by living systems. It leads to the formation of reflexive loops that form novel interrelations between the biosystem and the external world and provide a possibility of active anticipatory transformation of externality. We propose a metamathematical framework that can account for the underlying logic of codepoiesis, outline the basic principles of the generation of new coding systems, and describe main codepoietic events in the course of progressive biological evolution. The evolutionary complexification is viewed as a metasystem transition that results in the increase of external work by the system based on the division of labor between its components. Copyright © 2021. Published by Elsevier B.V.