In the most common versions of the notion of formal proof , there are , in addition to the axiom schemes
In the most formal versions of the notion of common proof , there are , in addition to the axiom schemes