Про гипермножества

[ervadi]

Как сравнивают антифундированные множества?
Для них также определяют кардиналы и ординалы как и для фундированных?
Существуют утверждения про фундированные множества, которые доказываются
с помощью аксиом антифундирования?