Ese modelo permitía además añadir a los viejos axiomas nuevos axiomas a la teoría consistentes con los anteriores.