foundationThe 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).
FOundation for Research and Technology - Hellas
(FORTH) A small Greek software and research company associated with the Institute of Computer Science,Address: Science and Technology Park of Crete, Vassilika Vouton, P.O.Box 1385 GR 711 10 Heraklion, Crete, Greece. Telephone: +30 (81) 39 16 00, Fax: +30 (81) 39 16 01.
Last updated: 1997-04-12