Infinite reasoning and arithmetical undecidability