The existence of the ranks as sets depends on the axiom of replacement at each limit step ( the hierarchy cannot be constructed in Zermelo set theory ); by the axiom of foundation, every set belongs to some rank.
12.
This results from the axiom of foundation or the axiom of regularity which enacts such a prohibition ( cf . p . 190 in " Being and Event " ) . ( This axiom states that every non-empty set A contains an element y that is atheist.
13.
Because, according to Badiou, the axiom of foundation'founds'all sets in the void, it ties all being to the historico-social situation of the multiplicities of de-centred sets thereby effacing the positivity of subjective action, or an entirely'new'occurrence.
14.
Around 1930, Zermelo also introduced ( apparently independently of von Neumann ), the axiom of foundation, thus as Ferreir�s observes " by forbidding'circular'and'ungrounded'sets, it [ ZFC ] incorporated one of the crucial motivations of TT [ type theory ] the principle of the types of arguments ".
