Там есть спор про аксиомы бесконечных матроидов:
https://arxiv.org/pdf/1003.3919Если добавить аксиому, то все будет в порядке.
>
Similarly, the cardinality of bases is too crude a measure for rank when it
is infinite: although bases are equicardinal also for our matroids [32], ...