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