By y ⊂ x we mean that z ∈ y implies that z ∈ x. If x is a set, we say that an element y of x is epsilon-minimal if y ∩ x = ∅. The axiom of foundation states that if x 6= ∅ then x has an epsilon-minimal element. See Jech [28, p. 63, Chapter 6]. Zermelo . Translated and glossed in [20, pp. 1208–1233]. Kanamori  Ebbinghaus:  Forster  Von… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.