2024. Infinite reasoning and arithmetical undecidability. The Reasoner. 16, 7 (Jul. 2024).