⚛️Igor Kan

Zermelo-Fraenkel with Atoms (ZFA)

1 min read

  • Variant of ZF allowing urelements.
  • Urelement: an object not equal to and not containing anything.

Graph View

Backlinks

Recent Notes

See 318 more →