define n_universes and prove is_set_theory_pred_universe