2023/10/04 → 02:51 → My intuition about how [[Mathematical proofs]] can be truly exhaustive is not fleshed out. →
#
>

Are all Mathematical proofs just extensions of deduction ?

→