For constructivists such as Kronecker, this rejection of actual infinity stems from fundamental disagreement with the idea that nonconstructive proofs such as Cantor's diagonal argument are sufficient proof that something exists, holding instead that constructive proofs are required.
Para construtivistas coma Kronecker, este rexeitamento do infinito actual proviña dunha discrepancia fundamental coa idea de que probas non construtivas tales coma o argumento da diagonal de Cantor foran suficientes para demostrar que algo existira, mantendo polo tanto o requirimento de probas construtivas.