Re: [math-fun] Hilbert's ≠ Peano's