注意: 以下に記すのは、まったくの個人的な備忘録です。調べたことの process を控えておくために net に up しているだけです。何かを主張したり、何かを結論しているものではございません。ほとんどただの引用文の羅列です。Comprehension Principle を、…

まず、購入した洋書。 Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm eds. Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, Springer, Logic, Epistemology, and the…