Hilbert’s Programme (The Reasoner, 2024)