article on: <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> Wikipedia Named after mathematicians Ernst <span class="searchmatch">Zermelo</span> and Abraham <span class="searchmatch">Fraenkel</span>. <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> (uncountable)...
<span class="searchmatch">Zermelo</span>-Fraenkelian (not comparable) (mathematics) Of or relating to <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span>. Translations...
has an article on: <span class="searchmatch">Zermelo</span>–<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> Wikipedia ZFC (uncountable) (<span class="searchmatch">set</span> <span class="searchmatch">theory</span>) Initialism of <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> with Choice; the standard...
<span class="searchmatch">Zermelo</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> Wikipedia <span class="searchmatch">Zermelo's</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> After German mathematician Ernst <span class="searchmatch">Zermelo</span>, who introduced the <span class="searchmatch">theory</span> in a paper in 1908. <span class="searchmatch">Zermelo</span> <span class="searchmatch">set</span>...
<span class="searchmatch">Fraenkel</span>, plural <span class="searchmatch">Fraenkels</span> or <span class="searchmatch">Fraenkel</span>) a German surname Declension of <span class="searchmatch">Fraenkel</span> [masculine // feminine, surname] 1With an article. <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> set...
building up a larger model M[G] of <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> by adding a generic subset G of a partially ordered <span class="searchmatch">set</span> to M, imitating Kurt Gödel's constructible...
<span class="searchmatch">sets</span> (informal) <span class="searchmatch">set</span>-theoretic, <span class="searchmatch">set</span>-theoretical, <span class="searchmatch">set</span>-theoretically naive <span class="searchmatch">set</span> <span class="searchmatch">theory</span> <span class="searchmatch">Zermelo</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> mathematical <span class="searchmatch">theory</span>...
category <span class="searchmatch">theory</span>) A kind of universal <span class="searchmatch">set</span> whose elements follow the rules of <span class="searchmatch">Zermelo</span>–<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span>, and for which, with respect to an arbitrary <span class="searchmatch">set</span>, an...
1965. the Lévy hierarchy (<span class="searchmatch">set</span> <span class="searchmatch">theory</span>, logic) A hierarchy of formulas in the formal language of the <span class="searchmatch">Zermelo</span>-<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span>. Its first level contains...
{\displaystyle \{\emptyset \}} to be a <span class="searchmatch">set</span>. (axiom of <span class="searchmatch">set</span> <span class="searchmatch">theory</span>): power <span class="searchmatch">set</span> axiom axiom of <span class="searchmatch">set</span> <span class="searchmatch">theory</span> <span class="searchmatch">Zermelo</span>–<span class="searchmatch">Fraenkel</span> <span class="searchmatch">set</span> <span class="searchmatch">theory</span> on Wikipedia.Wikipedia...