پیش‌نیازها Set theory

Axiom of Extensionality