2 ms·
If something can be proven there is a finite length proof, and if you check lengths one by one eventually you will reach a high enough length for a valid proof.
by im3w1l 18d ago
If something can be proven there is a finite length proof, and if you check lengths one by one eventually you will reach a high enough length for a valid proof.