20/04/25 16:17:59 O66M8Xgn.net
>>375 補足の補足
>On the other hand, by the axiom of foundation, there do not exist infinite descending chains of universes
>V0 ∋ V1 ∋ V2 ∋ V3 ∋ ... ∋ Vn ∋ ...
ここ、普通は、the axiom of foundationは、集合の無限降下列をいう
”there do not exist infinite descending chains of universes”と、「universes�