  A historical review of the problem of incompleteness in Mathematics since the
20th century is made. The Combinatorial Principle of Paris-Harrington is
studied and the way in which it can be codified in the language of Arithmetic.
