Anfonwch hwn fel neges destun: Ways of proof theory