  We prove a new and unified GAGA theorem. This recovers all analytic and
formal GAGA results in the literature, and is also valid in the non-noetherian
setting. Our method can also be used to establish various Lefschetz theorems
and comparison results for the Fargues-Fontaine curve.
