pə ɐkˈɛstɐ ɾrɐˈo, ɐkˈɛst ɐɡzjˈomɐ ˈɛs ʋˈa sʊbstitˈuj ən ʋərsjˈons mˈes tɐrðˈanəs ðə lɐ ðəmʊstɾɐsjˈo pə lɐ sʊpʊzisjˈo kˈɛ ɟˈe ˈiks es pʊzitˈiw pˈos ɟˈe ˈiks.
Per aquesta raó, aquest axioma es va substituir en versions més tardanes de la demostració per la suposició que G(x) és positiu (Pos(G(x)).