マイルドな（心理的拒絶感が少ない）例：$`A \subseteq \mathrm{Pow}(X)`$ とする。すると、$`\mathrm{id}_A : A \to A`$ は恒等写像。ところで、$`A \subseteq \mathrm{Pow}(X)`$ だったので、$`\mathrm{id'}_A : A \to \mathrm{Pow}(X)`$ とみなせる。この…

グロタンディーク宇宙の階層があれば、大きな（より正確には「小さくない」「真に大きい」）有限集合は作れる。したがって、次は成立しない。 集合 $`x`$ が有限ならば、$`x`$ は小さい集合である。 グロタンディーク宇宙の定義は Wikipedia グロタンディー…