Mathematics, Foundations Of, Nonconstructive arguments

Another criticism of the Cantor-Frege program was raised by Kronecker, who objected to nonconstructive arguments, such as the following proof that there exist irrational numbers a and b such that ab is rational. If