A formal proof is written in a formal language instead of a natural language.
Unha demostración formal escríbese nunha linguaxe formal en lugar dunha linguaxe natural.