Доказів теорія

розділ сучасної математичної логіки, що вивчає властивості й перетворення формальних доказів