proof theory

[ریاضیات] نظریه ی برهان ها
[آمار] نظریه برهانها