نمایه واژگان نظریه اصل موضوعی مجموعه‌ها (گویش ZF و NBG)

0
<X,Y> Ordered pairs
(X,Y) Ordered pairs
Empty set
Belonging
NBG در ∈ Membership in NBG
Proper Subset
Subset
Intersection of sets
⋂(A) Intersection set
Union of sets of sets
⋃(A) Union set
A \ B Difference of sets
A ∆ B Symmetric Difference of sets
A×B Cartesian product of sets
NBG Neumann-Bernays-Godel system
Ƥ(A) Intersection set
X+ Immediate successor set
ZF Zermelo-Fraenkel system
ZF+C Zermelo-Fraenkel system with Choice function
ZFC Zermelo-Fraenkel system with Choice function
ω ω
اجتماع کلاس‌ها Union of classes
اجتماع مجموعه‌ها Union of sets
ازهم جدا Disjoint sets
اشتراک کلاس‌ها Intersection of classes
اشتراک مجموعه‌ها Intersection of sets
اصل اجتماع در NBG Axiom of union
اصل استقرای ریاضی Mathematical induction principle
اصل بنیاد در NBG Axiom of Regularity
اصل ترازمندی در NBG Axiom of Regularity
اصل ترازمندی در ZF Axiom of Regularity
اصل تهی در NBG Axiom of Null
اصل توان در NBG Axiom of power
اصل توان ضعیف در ZF Weak power axiom
اصل جایگزینی در NBG Replacement Axiom
اصل دوگانه سازی در NBG Axiom of pairing
اصل گسترش در NBG Axiom of Extension
اصل موضوع Axiom
اصل موضوع اجتماع درZF Axiom of Union
اصل موضوع اشتراک در NBG Axiom of Intersection
اصل موضوع بنیاد درZF Axiom of foundation in ZFC
اصل موضوع بی‌نهایت درZF Axiom of infinity in ZFC
اصل موضوع دوگانه‌ساز درZF Pairing axiom in zfc
اصل موضوع گسترش در ZF Axiom of extension in ZF
اصل موضوع مجموعه توانی درZF Axiom of Power set
اصل موضوع وجودی درZF Axiom of Existence in ZF
اصل وجودی ضعیف در ZF Weaken axiom of existence
اصول موضوعه پئانو Peano's Axioms
اکیداً کوچک‌تر Strictly smaller
انگاره آغازی Primitive notion
انگاره تعریفی Defined Term
برد تابع Range of function in ZF
برهان در دستگاه اصل موضوعی Proof in axiomatic system
پارادوکس راسل Russell’s paradox
پارادوکس راسل Russell’s paradox
پیکانه Arrow
تابع Function
تابع Function
تابع Function
تالی بی‌واسطه عدد طبیعی Immediate Successor of Natrual Number
تساوی کلاس‌ها Equality in Classes
تعلق Belonging
تفاضل دو مجموعه‌ Difference of sets
تفاضل متقارن دو مجموعه‌ Symmetric Difference of sets
جهان فون نویمان Von Neumann universe
چیز Object
خانواده-مجموعه Family of sets
خوش-بنیاد Well founded
خوش-بنیاد Well founded
دامنه تابع Domian of function in ZF
در مجموعه بودن Membership
درستی تهی Vacuous Truth
دستگاه اصل موضوعی Axiomatic System
دستگاه اصل موضوعی NBG NBG Axiomatic System
دستگاه اصل موضوعی NBG Von Neumann-Bernays-Godel set theory
دستگاه اصل موضوعی سازگار Consistency of Axioms
دنباله عناصر Sequence of elements
دوتایی مرتب Ordered pair
دوتایی نامرتب Unordered pair
رویداد آزاد متغیر در فرمول Free occurrence of a variable
رویداد پابند متغیر در فرمول Bound occurrence of a variable
زَبرمجموعه Superset
زنجیره عضویتی کاهنده Descending ∈-chain
زنجیره عضویتی کاهنده بی‌پایان Infinite descending ∈-chains
زنجیره‌ عضویتی کاهنده بی‌پایان Infinite descending ∈-chain
زیرکلاس Subclass
زیرکلاس سره Proper Subclass
زیرمجموعه Subset
زیرمجموعه Subset
زیرمجموعه سره Proper Subset
زیرمجموعه ناسره Improper Subset
سالبه به انتفاء موضوع Vacuous Truth
سلسله‌ مراتب تجمعی مجموعه‌ها Cumulative hierarchy of sets
شرط Condition
شمای اصل موضوعی جایگزینی در ZF Axiom Schema of Replacement
شمای اصل موضوعی جدایی در ZF Axiom Schema of separation in ZF
شمای اصل موضوعی ساخت در NBG Axiom Schema of Construction
شمای اصل موضوعی کلاس ساز در NBG Axiom Schema of class builder
شمای گیرایش Comprehension Schema
شِمای ویژه ‌یافتگی Axiom Schema of Specification
صدق تهی Vacuous Truth
ضرب دکارتی مجموعه‌ها Cartesian product of sets
عبارت تعریف ‌نشده Undefined term
عدد طبیعی Natural number
عدد طبیعی Natrual Number
عضو Member
عنصر Element
عنصر در NBG Elemen in NBG
عنصر -∈کمینه ∈-minimal element
عنصر کمینه‌ای عضویتی Minimal elements of membership
فرمول‌ خوش-ساخت در مجموعه‌ها Well-formed formula in set theory
قدر مشترک‌ Intersection set
قضیه در دستگاه اصل موضوعی Theorem in Axiomatic System
قواعد استنتاج در دستگاه اصل موضوعی Rules of inference in axiomatic system
کتگوری Category
کلاس Class in NBG
کلاس در NBG Class in NBG
کلاس در ZF Class in ZF
کلاس تهی Empty Class
کلاس جهانی Universal Class
کلاس سره Proper class
کلاس ناسره Improper class
کوچک‌تر Smaller
کوچک‌ترین Smallest
گزاره آغازی Initial proposition
متغیر مجموعه‌ای Variable in set theory
متمم کلاس Complement of classes
مجموعه Set
مجموعه (کانتور) Set
مجموعه در NBG Set in NBG
مجموعه اجتماع‌ Union set
مجموعه استقرایی Inductive Set
مجموعه اعداد طبیعی The set of Natural numbers
مجموعه تالی بی‌واسطه Immediate successor set
مجموعه تراگذر Transitive Set
مجموعه تکینه Singleton set
مجموعه تهی Empty set
مجموعه توانی در NBG Power Set
مجموعه توانی درZF‌ Power set
مجموعه همه توابع Set of functions
مجموعه‌های ‌مساوی Equal Sets
مجموعه‌ی همه مجموعه‌ها Set of sets
استقلال اصول موضوعه Independency of Axioms
مهمل انتزاعی Abstract Nonsense
نظریه طبیعی مجموعه‌ها **No Eng Tit**
نظریه کتگوری Category Theory
نظریه مجموعه‌ها Set theory
نظریه مجموعه‌های بی‌نهایت Infinite Set Theory
نمادهای کمکی Axillary symbols
هم‌ دامنه Codomain
ویژگی Property