Вообще, берём список (схем) аксиом ZFC и сравниваем по очереди. Это приходит в голову сразу же.

Притом видно, что это не схема, так что схемы можно сразу отмести.

- ни в одном множестве

не существует элемента

, такого что из этого существования следовало, что

, т.е

не содержит одноэлементных множеств.
Забыли, что это всунуто в

. Ну и без этого интерпретация не очень. Давайте по подформулам:

— не существует

такого, что

. Т. е. в

нет элементов. (Т. е. это пустое множество.)
Так же начинайте с самых маленьких подформул и постепенно рассматривайте большие, каждый раз приводя их к самому короткому эквивалентному утверждению, которое можете придумать. Иначе действительно глаза разбегутся. Посмотрите в любом случае на все аксиомы ZFC и на то, как формулируется, например, аксиома пары. Или сами сформулируйте формулы, эквивалентные

,

, но не содержащие

и

. Поможет.
(Смотрите сюда, если совсем плохо. Но сначала всё-таки попытайтесь, потому что толку от ответа без приводящего к нему пути немного)
Это аксиома бесконечности: существует такое

, что

, и что если

, то

.