Cerioli, M., 		Krauss, V., & 		Viana, P.
2021 Jul 18.  An Arithmetical-like Theory of Hereditarily Finite Sets. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :