I know ZF is not finitely axiomatizable so a "minimal set of axioms for ZF" is actually a minimal set of metaxioms (or axiom schemata) that quantify (in natural language) over well-formed-formulas of first order logic (with equality symbol), like separation or replacement.
EDIT: I want to read a discussion about "minimal sets" of axioms for ZF(C) set theory from these usual axioms which have a name. By a "minimal list" I mean a non-redundant axiomatics. An example of a list, in the usual ZFC formulations, the "minimal" axioms would be (1) extensionality, (2) union, (3) pair, (4) infinity, (5) substitution, (6) choice. Separation and power come out with (6), the empty comes out via separation. Another list is Bourbaki's. A Professor of mine said me that "He [Bourbaki] has a very nice formulation that uses (1) extensionality, (2) pair, (3) parts, (4) infinity, (5) separation and union (in a single axiom, but I count two axioms for my purposes). It is well known that he did not use the axiom of choice (AC) because using Hilbert's epsilon (his famous "tau") allows him to demonstrate AC".
My purpose is didactic. I am seeking some lists like that and the discussions of preferring some above others.