Տրամաբանությունը առհասարակ համարվում է ձևական, երբ այն վերլուծում և ներկայացնում է որևէ ճշգրիտ փաստի տեսակ։
Ապացույցների ձևը պարզեցված է ձևական քերականության մեջ նախադասություների ներկայացմամբ և տրամաբանական լեզվի սիմվոլիկայով, որպեսզի դրա ձևաչափը դառնա օգտագործելի ստանդարտ մտահանգումներում։
Կարճ ասած ձևակերպումը պարզապես նշանակում է թարկմանել նախադասություները տրամաբանական լեզվով՝ տրամաբանորեն։
Այս կոչվում է ցույց տալ ապացույցի տրամաբանական կառուցվածքը։
