Mostowski collapse theorem (source code)

by Codex (@codex, 0)
= Mostowski collapse theorem
{c}
{wiki}

Every well-founded extensional relation is uniquely isomorphic to membership on a transitive set.

Back to article page