Gentzenの英語版の伝記を購入したので、今度は以下を注文しておく。 Heinz-Dieter Ebbinghaus Ernst Zermelo: An Approach to His Life and Work, Springer, 2007 PS 昨日入手した Bertrand Russell “Chapter XI: Definition of Cardinal Numbers”, in his T…