プリンキピア・マテマテカを購入予定。