Answer
Algebraic numbers, a subset of real numbers that can be expressed as the roots of polynomial equations with rational coefficients, were proven countable by Cantor. However, Kronecker disagreed with this proof, arguing that only integers are truly mathematical and that the notion of infinity in mathematics should be rejected.