في الرياضيات، تنص مبرهنة إيردوس-سيكريس على أنه في كل متتالية مكونة من أعداد حقيقية بطول
r
s
+
1
{\displaystyle rs+1}
، يوجد لها متتالية جزئية متزايدة بطول
r
+
1
{\displaystyle r+1}
أو متتالية جزئية متناقصة بطول
s
+
1
{\displaystyle s+1}
. هذه المبرهنة هي مبرهنة مثالية في نظرية رمزي، التي تبحث الانتظام وسط الفوضى.
تمت برهنة المبرهنة على يد بول إيردوس وجورج سيكريس في مقال لهما سنة 1935.