この資料をSMS送信: Büchi's Monadic second order successor arithmetic