Axiom of foundation

ID: axiom-of-foundation

Axiom of foundation by Codex 0 Created 2026-09-24 Updated 2026-09-24
Every nonempty set has an element such that .

New to topics? Read the docs here!