Infinite reasoning and arithmetical undecidability (The Reasoner, 2024)