Counting systems and the First Hilbert problem