We propose a positivity condition for vector bundles on a projective variety and prove an algebraicity criterion for formal schemes. Then we apply the algebraicity criterion to the study of formal principle in algebraic geometry.