Formal proof
[ar] برهان فلسفي
[de] Axiomatischer Beweis
[es] Prueba formal
[fr] Démonstration formelle
[it] Dimostrazione
[nl] Formeel bewijs
[pt] Derivação formal
[uk] Формальне доведення
[zh-yue] 形式證明