<human>:  I have a question about the nature of mathematical rigor. Who was the first person to prove that arithmetic is recursive?
<bot>: That would be Georg Cantor. He proved that the set of all real numbers is not countable, which means that it is not possible to list all of the real numbers. This is a very important result, because it means that there are an infinite number of real numbers.