Textmeddelande: Ways of proof theory