The somewhat redundant phrase "finite proof" is for the sake of clarity. There are no infinite proofs.
Complete rigor is not humanly possible, because arbitrary assumptions proliferate at ever step in the process of any (apparent) proof. Science, like logic, must therefore be incomplete...