[javier m]

me costó entender tu mensaje

Estuve mirando, y por lo menos en esta pagina lo toman como axioma (el 16), y no el tuyo. Y en esta creo que toman el de completez que tu mencionaste (creo que es el mismo, ambos mencionan suceciones)

Supongo que son equivalentes. Ya probaste una implicación, falta la que va en el otro sentido xD

Cuanto tiempo sin cruzar palabras! Saludos