This is not much fictitious story. Hilbert's idea of metamathematics is surely influenced by Cantor's philosophy of mathematical objects. But an important difference is this: Hilbert changed the question of existence of mathematical object…

equalizerについて。

『算術の哲学』でやったのと同じような基数論。この人にとってフレーゲの批判っていったい何だったんだろう。

Jody Azzouni, Tracking Reason: Proof, Consequence, and Truth, Oxford University Press, £29.99. Stewart Shapiro, Vagueness in Context, Oxford University Press, £35. Tamara Horowitz, Joseph L. Camp Jr. (ed.), The Epistemology of A Priori Kno…