Several rather general sufficient conditions for the extrapolation of the calculus of generalized Dirac operators from t j to L p are established. As consequences, we obtain some embedding theorems, quadratic estimates and Littlewood-Paley theorems in terms of this calculus in Lebesgue spaces. Some further generalizations, utilised in Part II devoted to applications, which include the Kato square root model, are discussed. We use resolvent approach and show the irrelevance of the semigroup one. Auxiliary results include a high order counterpart of the Hilbert identity, the derivation of new forms of 'off-diagonal' estimates, and the study of the structure of the model in Lebesgue spaces and its interpolation properties. In particular, some coercivity conditions for forms in Banach spaces are used as a substitution of the ellipticity ones. Attention is devoted to the relations between the properties of perturbed and unperturbed generalized Dirac operators. We do not use any stability results.2000 Mathematics subject classification: primary 46E15, 46E30. 47A60. 47A65: secondary 47A05, 47A55, 46B20. 46C99.42C99.