58A05 - Global analysis, analysis on manifolds :: General theory of differentiable manifolds :: Differentiable manifolds, foundations