Division mit Rest
Wäre nun formula_1 ein berechenbares Nichtstandardmodell, dann wäre insbesondere die Addition berechenbar. Damit ließe sich durch Division mit Rest ermitteln, ob eine gegebene Zahl formula_17 die Nichtstandardzahl formula_14 teilt. Damit wäre auch die unentscheidbare Menge formula_15 entscheidbar.