⚛️Igor Kan

Morse�Kelley Set Theory (MK)

1 min read

  • Stronger than NBG.
  • Allows full class quantification.
  • Not finitely axiomatizable unless restricted.

Graph View

Backlinks

Recent Notes

See 319 more →