Talk:Hilbert's arithmetic of ends