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



< Previous Terms Terms Containing foundation Next Terms >
FORWISS
For Your Information
FOSI
FOSIL
fossil
Abstract Window Toolkit
Alan Turing
Architecture Neutral Distribution Format
axiomatic set theory
Black Data Processing Associates
FOundation for Research and Technology - Hellas
four-colour glossies
four colour map theorem
four colour theorem
Fourier transform