You are here: irt.org | FOLDOC | foundation
The axiom of foundation states that the membership relation is
well founded, i.e. that any non-empty collection Y of sets has
a member y which is disjoint from Y. This rules out sets
which contain themselves (directly or indirectly).
Nearby terms: FOSIL « FOSS « fossil « foundation » FOundation for Research and Technology - Hellas » four-colour glossies » four colour map theorem
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL
©2018 Martin Webb