⑵ alien universe

>Talk of computing something in
an “alien” universe, for instance as is
apparently made possibly by the use of
"species”, as in
「calculate in terms that makesense in
one universe the operations performed
in an alien universe!」
is odd, since Grothendieck universes
are cumulative:
略

>No one says proper classes are “alien”
to sets.
I also note that nowhere is the term
"alien” defined, except in a dictionary
sense;
Here, the intended sense of the descriptive “alien” is that of its original latin root,
i.e., a sense of abstract, tautological
“otherness”

真のクラスが集合に対して「alien」であると言う人はいません。
また、「alien」という用語が辞書的な
意味でしか定義されていないことにも
留意します。
ここで「alien」という記述的意味が意図されているのは、その本来のラテン語の語源、すなわち抽象的で同語反復的な「他者性」の感覚です。主にGoogle