1993年、E. Hrishovskiにより、モデル理論の手法を使って幾何的Mordell-Lang予想(関数体Mordell-Lang予想)が完全解決されたことを契機に、数理論理学の一分野である(幾何的)モデル理論の代数幾何学・数論幾何学への応用が注目されはじめた。この成果を解説した旧版から20年。本書では、この20年で変容した幾何的モデル理論の研究や、代数幾何学・数論幾何学とモデル理論との現在の関係性を追記して解説する。