この資料をSMS送信: Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications