素朴な集合論 - らんだむな記憶で遠くから眺めたふりをした項理論的集合論。今度は表面を少し撫でて逃げたい。 参考にするのは以下。 選択公理と数学―発生と論争、そして確立への道 | 田中 尚夫 | 本 | Amazon.co.jp (田中本としておこう) Amazon.co.jp： Ge…

Grothendieck universe - Wikipedia, the free encyclopediaをもうちょっと読むとちょっと気になるな...。 The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo-Fraenkel set theory; ということで、Zermelo-Frae…

Mac Lane本のユニバースの定義には、「いくらか冗長な」という表記がある。 例えば、性質(v)は冗長... というか少なくとも、より小さな仮定から導くことができる。これを見てみよう。その前に、Grothendieck universe - Wikipedia, the free encyclopediaを…