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

Axiom of Extensionality



تاربرگ‌های پیموده‌شده در این نشست: Alan Turing asymmetric Admissible rule axiomatization Absorption