入手文献と言ってもabstractを一つだけ。 Wilfried Sieg “Existential Axiomatics”, Workshop on Hilbert, part 1, Nov. 11th (Sat.), 2006, at Kyoto University この後は少し論理学の教科書を読もう。