上記のBaysさんの書評をちらちら見やると次のような註がある。これは一番目の註である。 This is probably the right place for a little bit of bibliographical information. The basic fact that one can derive arithmetic from (HP) plus second order …

Timothy Bays “Review of John Burgess: Fixing Frege”, forthcoming in NDPR Stanley Peters and Dag Westerstahl “1.2 Quantifiers in Early Predicate Logic”, in their Quantifiers in Language and Logic, Clarendon Press, 2006 溝上武實 『ユークリッ…