Grothendieck existence theorem
ગણિતમાં, ગ્રૉથેન્ડીક અસ્તિત્વ પ્રમેય, દ્વારા રજૂ કરાયેલ, એવી શરતો આપે છે જે કોઈ યોજનાની અનંત વિકૃતિઓને વિરૂપતામાં લાવવા માટે સક્ષમ બનાવે છે, અને યોજના S ના ઉપશીર્ષક પર અનંત પડોશીઓ પર યોજનાઓને S ઉપરની યોજનાઓ સુધી પહોંચાડે છે. આ પ્રમેયને (ગ્રૉથેન્ડીકના) ઔપચારિક GAGA ના ઉદાહરણ તરીકે જોઈ શકાય છે. ચાઉના લેમ્મા સંદર્ભો પણ જુઓ. . . ઔપચારિક જીએજીએ બાહ્ય બીજગણિત ભૂમિતિમાં ઔપચારિક જીએજીએ પ્રમેયોને જોડે છે