 Using the Foundation Axiom. FA plays no role in the formalization of mathematics or in the study of infinity. It is an “optional extra”  for mathematics.   FA is used to clarify our picture of sets, just as we have described.  This often comes  with an implicit argument of roughly the following shape: 