Eine solche Modifikation wurde zuerst von John Barkley Rosser bald nach Gödels Veröffentlichung vorgeschlagen; inzwischen versuchen Spezialisten zu klären, worin der Unterschied zwischen natürlich und künstlich eigentlich besteht.