（適切な）形式的証明に書き換えることが出来る証明＝十分な証明
出来ない証明＝不十分

と定義をすれば、十分な証明は適切な形式証明に書き換えることが
できる。

ところで、形式証明には「厳密」と「厳密でない」の区別がない。