Έστω ένα υπεραριθμήσιμο σύνολο
και ένα γράφημα 
με σύνολο κορυφων . Τότε τουλάχιστον ένα από τα γραφήματα και 
περιέχει ένα πλήρες υπογράφημα με υπεραριθμήσιμο αριθμό κορυφών.[Αν αλλάξουμε τις δυο εμφανίσεις του «υπεραριθμήσιμο» σε «άπειρο» τότε η πρόταση είναι αληθής και είναι γνωστή ως θεώρημα Ramsey.]