A note on the axiom of choice in an iterative paraconsistent set theory. - Santiago Jockwich; Sourav Tarafder; Giorgio Venturi (Log. J. IGPL, 2026)