<human>:  Who was the first to prove that a set is not countable?
<bot>: That would be Georg Cantor. He proved that the set of real numbers is not countable. He also proved that the set of real numbers is not finite.