Գրեք սա: Ways of proof theory