Sort:  

Yeah, Peano did this first, but Hilbert's solution is leaner I guess ;)