3 ms·With formal inductive proofs, you can reason, but not decide.by wolfgke 7y agoWith formal inductive proofs, you can reason, but not decide.