Alternative Set Theory

Generically, an alternative set theory is an alternative mathematical approach to the concept of set. It is a proposed alternative to the standard set theory.

Some of the alternative set theories are:

  • the theory of semisets
  • the set theory New Foundations
  • Positive set theory
  • Internal set theory

Specifically, Alternative Set Theory (or AST) refers to a particular set theory developed in the 1970s and 1980s by Petr Vopěnka and his students. It builds on some ideas of the theory of semisets, but also introduces more radical changes: for example, all sets are "formally" finite, which means that sets in AST satisfy the law of mathematical induction for set-formulas (more precisely: the part of AST that consists of axioms related to sets only is equivalent to the Zermelo–Fraenkel (or ZF) set theory, in which the axiom of infinity is replaced by its negation). However, some of these sets contain subclasses that are not sets, which makes them different from Cantor (ZF) finite sets and they are called infinite in AST.

Famous quotes containing the words alternative, set and/or theory:

    If you have abandoned one faith, do not abandon all faith. There is always an alternative to the faith we lose. Or is it the same faith under another mask?
    Graham Greene (1904–1991)

    Consider what you have in the smallest chosen library. A company of the wisest and wittiest men that could be picked out of all civil countries in a thousand years have set in best order the results of their learning and wisdom. The men themselves were hid and inaccessible, solitary, impatient of interruption, fenced by etiquette; but the thought which they did not uncover in their bosom friend is here written out in transparent words to us, the strangers of another age.
    Ralph Waldo Emerson (1803–1882)

    In the theory of gender I began from zero. There is no masculine power or privilege I did not covet. But slowly, step by step, decade by decade, I was forced to acknowledge that even a woman of abnormal will cannot escape her hormonal identity.
    Camille Paglia (b. 1947)