I'm not a logician or mathematician but a philosopher (with dyscalculia) so please forgive me for skipping the technicalities... My question is this: Is there in the theory of non-well-founded sets (hypersets) something analogous to the set-theoretic construction of the natural numbers in ZF? How does this work? What are the axioms used? And where can I read more about this? Thanks in advance!