بنداشت بنیاد

برابر انگلیک (انگلیسی): Axiom of Foundation Axiom of Regularity


تاربرگ‌های پیموده‌شده در این نشست: درآمدی به گویایی ناکلاسیک راهکاری برای پرسمان برگزینش برای سامانه‌های S2 و S4 لوئیس