теория доказательств

Теория доказательств — раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие структуры данных, начиная с простейших, таких как плоские списки, деревья, вплоть до гипотетических предельно сложных структур/машин которые строятся в соотвествии с аксиомами и правилами вывода логических систем имеющих соотвествующие сложности/холистичности семантик.