ในสาขาคณิตศาสตร์ที่เรียกว่าทฤษฎีแรมซีย์ชั้นแรมซีย์ [ ^{1 ] คือ}ชั้นที่สอดคล้องกับทฤษฎีบทของแรมซีย์แบบ ทั่วไป

สมมติว่า, และเป็นโครงสร้าง และเป็นจำนวนเต็มบวก เราใช้สัญลักษณ์ แทนเซตของซับออบเจกต์ทั้งหมดของซึ่งสม isomorphic กับ นอกจากนี้เรา ยังใช้สัญลักษณ์ แทนคุณสมบัติที่ว่า สำหรับพาร์ติชันทั้งหมดของจะมี a และ an อยู่จริง ซึ่ง${\displaystyle A}$${\displaystyle B}$${\displaystyle C}$${\displaystyle k}$${\displaystyle {\binom {B}{A}}}$${\displaystyle A'}$${\displaystyle B}$${\displaystyle A}$${\displaystyle C\rightarrow (B)_{k}^{A}}$${\displaystyle X_{1}\cup X_{2}\cup \dots \cup X_{k}}$${\displaystyle {\binom {C}{A}}}$${\displaystyle B'\in {\binom {C}{B}}}$${\displaystyle 1\leq i\leq k}$${\displaystyle {\binom {B'}{A}}\subseteq X_{i}}$

สมมติว่าเป็นกลุ่มของโครงสร้างที่ปิดภายใต้ไอโซมอร์ฟิซึมและโครงสร้างย่อยเรากล่าวว่ากลุ่มนี้มีคุณสมบัติ A-Ramseyถ้าสำหรับทุกจำนวนเต็มบวกและสำหรับทุกจะมี ที่ ทำให้ เป็นจริงถ้ามีคุณสมบัติ -Ramsey สำหรับทุกแล้วเรากล่าวว่าเป็นคลาส Ramsey ${\displaystyle K}$${\displaystyle K}$${\displaystyle k}$${\displaystyle B\in K}$${\displaystyle C\in K}$${\displaystyle C\rightarrow (B)_{k}^{A}}$${\displaystyle K}$${\displaystyle A}$${\displaystyle A\in K}$${\displaystyle K}$

ทฤษฎีบทของแรมซีย์เทียบเท่ากับข้อความที่ว่า คลาสของเซตจำกัดทั้งหมดเป็นคลาสของแรมซีย์

^{[ 2 ] [ 3 ]}