paragraph_text: Prema ovom aksiom svaki je skup dobro utemeljen u odnosu na relaciju <big>∈</big>. Iz ovog aksioma slijedi da ne postoji skup <big>x</big> za koji bi postojao beskonačni niz skupova (x<sub>n</sub>) tako da vrijedi: ...∈ x<sub>2</sub> ∈ x<sub>1</sub> ∈<sub>x</sub>. Odavle posebno slijedi da ne postoji skup <big>x</big> za kojeg bi vrijedilo <big>x ∈ x </big>.