Войти
В общем смысле альтернативная теория множеств - это любой из альтернативных математических подходов к концепции множества и альтернатива стандартной теории множеств.
Вот некоторые из альтернативных теорий множеств:
В частности, Альтернативная теория множеств (или AST ) ma y относятся к конкретной теории множеств, разработанной в 1970-х и 1980-х годах Петром Вопенькой и его учениками. Он основан на некоторых идеях теории полумножеств, но также вносит более радикальные изменения: например, все множества «формально» конечны, что означает, что множества в AST удовлетворяют закону математической индукции для множества- формул (точнее: часть AST, состоящая из аксиом, относящихся только к множествам, эквивалентна Zermelo– Теория множеств Френкеля (или ZF), в которой аксиома бесконечности заменена ее отрицанием). Однако некоторые из этих наборов содержат подклассы, которые не являются наборами, что отличает их от конечных множеств Cantor (ZF), и они называются бесконечными в AST.
