שליחה במסרון: Ways of proof theory