Así, necesitamos utilizar un esquema de axioma: