Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators