This examines methods for determining the consistency of a logical formula and it includes some theorems on combinatorics which have led to the study of a whole new area of mathematics called Ramsey theory. Harary describes this birth of Ramsey theory in where he writes the following:
Ito ang paraan para sa pagtukoy ng consistency ng isang makatuwirang formula at ito ay kasama ang ilang mga theorems sa combinatorics na humantong sa pag-aaral ng isang buong bagong lugar ng matematika na tinatawag na Ramsey theory. Harary naglalarawan ito ng kapanganakan ng Ramsey teorya sa kung saan siya magsusulat ang mga sumusunod: