as a constructive bound on the modulus of continuity, meaning that the existential content of the assertion of continuity is a promise that can always be kept. Accordingly, Bishop rejects the standard idea of pointwise continuity, and proposed that continuity should be defined in terms of "local uniform continuity". One could get another explanation of existence theorem from type theory, in which a proof of an existential statement can come only from a term (which one can see as the computational content). See also Constructive proof Constructivism (philosophy of mathematics) Uniqueness theorem Notes Mathematical theorems Mathematical and quantitative methods (economics)