>>605
> 空集合基準
Nは ... {{ ... {空集合} ... }} ... ではないから空集合基準にならないでしょ

Nは無限個の元が基準
0, 1, 2, ... : 無限個の数を基準に{}で囲めば
{0, 1, 2, ... }これで初めて無限集合になっている

有限ならば{{{空集合 : 空集合の公理}}}で話が進むが
無限の場合は{{{ N : 無限公理 }}}