Zorni lemma ehk Kuratowski-Zorni lemma on oluline hulgateooria teoreem, mis ütleb:
Zorni lemma kehtib, kui eeldatakse valikuaksioomi. Õigupoolest on see Zermelo-Fraenkeli hulgateoorias valikuaksioomiga ekvivalentne: Zorni lemmat eeldades on omakorda võimalik tõestada valikuaksioom. Zorni lemma on ekvivalentne ka Zermelo teoreemiga.[1]