Explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by $C^\infty $-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are $C^\infty $-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps.