Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate