Purely formal proofs, written in symbolic language instead of natural language, are considered in proof theory.
Чисто формални докази, написани у симболичком језику уместо природног језика, се разматрају у теорији доказа.