บทตั้งของซอร์น (อังกฤษ: Zorn's lemma) หรือ บทตั้งของซอร์น-กูราตอฟสกี เป็นบทตั้งสำคัญบทหนึ่งในวิชาทฤษฎีเซต ซึ่งกล่าวว่า "เซตจัดอันดับบางส่วนที่ทุกโซ่มีขอบเขตบน จะมีสมาชิกใหญ่สุด" บทตั้งนี้มีชื่อตาม มักซ์ ซอร์น และ กาซีมีแยช กูราตอฟสกีบทตั้งนี้สามารถใช้ในการพิสูจน์ทฤษฎีบทอื่น ๆ ที่มีความสำคัญในคณิตศาสตร์ในสาขาหลากหลาย เช่น บทพิสูจน์ที่ว่าทุกปริภูมิเวกเตอร์จะมีฐาน ทฤษฎีบทฮาห์น-บานาคในสาขาการวิเคราะห์เชิงฟังก์ชัน ทฤษฎีบทของไทโคนอฟในสาขาทอพอโลยี[1] ทฤษฎีบทว่าทุกฟีลด์มีการปิดเชิงพีชคณิต และทฤษฎีบทที่ว่าทุกไอดีลแท้ของริงมีเอกลักษณ์จะเป็นสับเซตของไอดีลใหญ่สุดบทตั้งของซอร์นสมมูลกันกับหลักการจัดอันดับดีและสัจพจน์ของการเลือก นั่นคือเพียงแค่ทฤษฎีเซตแซร์เมโล-แฟรงเคิลร่วมกับข้อความใดข้อความหนึ่งจากทั้งข้อความข้างต้น จะสามารถพิสูจน์ข้อความที่เหลือได้ นอกจากนี้ยังมีหลักการความใหญ่สุดของเฮาส์ดอร์ฟเป็นข้อความหนึ่งที่สมมูลกับบทตั้งของซอร์น