Este es un ejemplo de generaciones sucesivas comienzan de axiomas diferentes.