Besides the axioms of extensionality and regularity, all of the axioms of ZFC either postulate the existence of a set or give a method for generating new sets from existing sets.
Extensionality then gives an equivalence relation on sets which allow us to confirm our definitions we create are well defined.
Regularity then gives a rule that all sets must satisfy.
From all the other axioms (besides regularity) we can start generating sets and decide which generated sets are equivalent. For all generated sets they either will satisfy the proposition in the axiom of regularity or they will not.
If all sets generated do satisfy the axiom of regularity then what is the point of the axiom of regularity? It adds no additional structure to the sets of ZFC.
If there exists a generated set that does not satisfy the axiom of regularity then aren't the axioms inconsistant?
I believe my misunderstanding stems from a misunderstanding with how logic/formal systems work. Any clarification would be greatly appreciated.