形式的厳密性とは、形式言語による高度な完全性の導入であり、zfcなどの集合論を使用してそのような証明を体系化できる(自動定理証明を参照)。