Arnon Avron, Nissan Levi: Developing continuity theory in a formal predicative set theory. Log. J. IGPL 34(4) (2026)