CHARACTERIZATION OF MODEL MIRIMANOV-VON NEUMANN CUMULATIVE SETS

摘要

The crisis that appeared in the naive set theory at the beginning of the 20th century has led to the construction of several strict axiomatic set theories. The most useful among them is the set theory in the Zermelo-Fraenkel axiomatics (ZF) (1908, 1922) and the class and set theory in the von Neumann-Burnice-Hoedel axiomatics (NBG) (1928, 1937, 1940).