# Natural proof

From Learning

In the context of mathematics education, a **natural proof** is a proof that contains no ad hoc constructions, instead being a series of obvious steps that leaves one thinking one could have discovered the proof oneself.

This sense of natural proof should not be confused with wikipedia:Natural proof from computational complexity theory.