This work was developed in number theory, using Gödel numbering.
Este traballo foi desenvolvido na área da teoría dos números usando a construción dos números de Gödel.