Відправити по sms: Tableau systems for first order number theory and certain higher order theories