>Аксиоматика Цермело-Френкеля — анахронизм,
множества и по сей день являются основанием математики.

Если можно поподробнее. Какая аксиоматика теории множеств на сегодняшний день актуальна? NBG, Нечеткие множества, Мультимножества, Вопенка П. Альтернативная теория множеств? Или что-то иное и что о ней можно почитать?

(Reply to this) (Parent) (Thread)

ETCS, конечно, а скоро, видимо, будет актуальна гомотопическая теория типов.
Читать надо книгу Lawvere, Rosebrugh, Sets for Mathematics.

(Reply to this) (Parent) (Thread)

>ETCS, конечно, а скоро, видимо, будет актуальна гомотопическая теория типов.

А остальные, перечисленные мною, аксиоматики совсем интереса не представляют?

(Reply to this) (Parent) (Thread)

Для логиков — несомненно представляют,
для математиков — нет.

(Reply to this) (Parent)