 Thus, for all "n" and for any "n"-length sequence of natural numbers formula_1, there exists an appropriate natural number "a", called the Gödel number of the sequence such that formula_7.Our specific solution will depend on a pairing function—there are several ways to implement the pairing function, so one method must be selected.Now, we can abstract from the details of the implementation of the pairing function.