代数几何
Algebraic geometry based on formal schemes is called formal algebraic geometry.