Formative processes with applications to the decision problem in set theory