The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.
Ang combinatorics ay ipinakilala sa pamamagitan ng Ramsey upang malutas ang isang espesyal na kaso ng mga desisyon para sa problema ng unang-order na totoo calculus.