You have a cartesian product of a countable number of countable sets and you want to index the elements of that cartesian product. The goal is to find explicit formulas to go either direction in this one-to-one mapping.