Несовместимость ZF и AD

[rishelie]

Привет
Кто-нибудь может прокомментировать сей труд?
https://arxiv.org/pdf/1110.0642.pdf
https://arxiv.org/pdf/1110.0643.pdf

Если коротко, то там доказывается, что в ZF не существуют недостижимые кардиналы. Отсюда в частности следует что AD противоречит ZF, т.к. AD выводит измеримость по Уламу кардинала $\aleph_1$