Infinite Reasoning and Arithmetical Undecidability. tr 2024, 16 (7).