>”無限公理”を認めなければ、可算無限の自然数の集合Nは存在しない

これ嘘ね

無限公理を設定しなければ、可算無限の自然数の集合Nは
存在するとしても存在しないとしてもいい

ここ誤解するから、◆yH25M02vWFhP は
「VにはUは入り得ないからV⊂U」
とか初歩的馬鹿発言で自爆死した

Vは集合の全体なのだから、
Uが存在しないか、Uが存在してU⊂Vか、どっちかしかない

グロタンディーク宇宙が存在しない場合のVをV‗NG
グロタンディーク宇宙が存在する場合のVをV‗G
とすれば V_NG⊂V_G と考えることはできるがね