Современная логика и онтология. Книга 2, Аксиоматические теории. Теория множеств. Модели времени

Описание

Различные виды пространств описываются первопорядковыми аксиоматическими теориями, модели которых и представляют эти пространства. Последовательно рассматриваются теории сходства, эквивалентности, равенства, порядка и арифметики. Пространство в его наиболее общих характеристиках исследуется теорией множеств, в связи с чем в книге даются формулировки различных аксиоматических теорий множеств, включая экзотическую теорию NF, в которой доказуемо существование множества всех множеств и существование неканторовых множеств.