أرسل هذا في رسالة قصيرة: Büchi's monadic second order successor arithmetic.