 Proofs employ logic expressed in mathematical symbols, along with natural language which usually admits some ambiguity.In most mathematical literature, proofs are written in terms of rigorous informal logic.Purely formal proofs, written fully in symbolic language without the involvement of natural language, are considered in proof theory.