This can also be seen as an immediate consequence of Kurt Gödel's compactness theorem for first-order logic, simply by expressing the colorability of an infinite graph with a set of logical formulae.
Αυτό μπορεί να θεωρηθεί επίσης ως μια άμεση συνέπεια της συμπάγειας του θεωρήματος του Kurt Gödel για Λογική Πρώτης Τάξης, απλά εκφράζοντας τη δυνατότητα χρωματισμού ενός άπειρης διάστασης γραφήματος με ένα σύνολο λογικών τύπων.