A formal proof is a sequence of logical statements, each derived from axioms or previously established theorems, that conclusively demonstrates the truth of a proposition within a formal system. It ensures mathematical rigor and eliminates ambiguity by adhering strictly to the rules of logic and syntax specific to the system in use.