My intuition about how Mathematical proofs can be truly exhaustive is not fleshed out.
Are all Mathematical proofs just extensions of deduction ?