Undecidability Results for Restricted Universally Quantified Formulae of Set Theory