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.
Pentru constructiviști, cum ar fi Kronecker, această respingere a infinitului actual provine de la dezacordul fundamental cu ideea că demonstrațiile neconstructive⁠(d), cum ar fi argumentul diagonal al lui Cantor sunt o dovadă suficientă că ceva există, afirmând, în schimb, că este nevoie de demonstrații constructive⁠(d).