An argument is given to associate integrable nonintegrable transition of discrete maps with the transition of Lawveres fixed point theorem to its own contrapositive. We show that the classical description of nonlinear maps is neither complete nor totally predictable.