أرسل هذا في رسالة قصيرة: Tableau systems for first order number theory and certain higher order theories