You could probably get a counterexample to the original question (with the usual foundation axiom) by starting with a ZFA model with a strongly amorphous set of atoms A and taking all the sets hereditarily a quotient of some $A^n,$ and reintroducing Foundation with the tricks in mathoverflow.net/a/314490/109573 or arxiv.org/abs/2312.11902
↧