És ez tekinthető az eljárás fogalmának általánosításaként?

Eljárásról, meg módszerről meg konstruktív bizonyításról és hasonlókról igazából metanyelvi szinten beszélünk.

Nincs olyan,  hogy Eljárás(x)<==>phi(x), ahol phi egy formula a halmazelmélet nyelvén. Ha ilyen lenne, akkor ez egy definiált fogalom lenne és konkrét jelentése lenne.

Amit én írtam az csak annyi, hogy egy halmaz minden eleméhez hozzárendelsz formulával körülírható módon egy halmazt, akkor a hozzárendelt dolgok halmazt alkotnak. Ez csupán a Replacement axioma informális elmondása.

Tekintheted ezt mint egy általánosított eljárást, ha úgy jobban tudsz róla gondolkodni.