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