대수기하학
Algebraic geometry based on formal schemes is called formal algebraic geometry.