El siguiente ejemplo de módulo Gödel es una especificación del máximo común divisor (MCD) de dos números.