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