واژه‌نامه نظریه مجموعه‌ها

درآمد به منطق و رایانش

بخشی از عبارت را بنویسید:
۰۰۱-۰۰۵-۰۰۱/۰۴ℕ
۰۰۱-۰۰۱-۰۰۱/۱۷0
<X,Y> ۰۰۱-۰۰۴-۰۰۱/۰۵Ordered pairs
(X,Y) ۰۰۱-۰۰۴-۰۰۱/۰۴Ordered pairs
∅ ۰۰۱-۰۰۳-۰۰۱/۲۶Empty set
∈ ۰۰۱-۰۰۲-۰۰۱/۰۷Belonging
∈ ۰۰۱-۰۰۶-۰۰۱/۰۵Membership in NBG
∩ ۰۰۱-۰۰۴-۰۰۱/۱۹Intersection of sets
∩(A) ۰۰۱-۰۰۴-۰۰۱/۱۷Intersection set
∪ ۰۰۱-۰۰۴-۰۰۱/۱۲Union of sets of sets
∪(A) ۰۰۱-۰۰۴-۰۰۱/۰۹Union set
≅ ۰۰۱-۰۱۰-۰۰۱/۰۸≅
⊂ ۰۰۱-۰۰۳-۰۰۱/۲۱Proper Subset
⊆ ۰۰۱-۰۰۳-۰۰۱/۱۷Subset
۱:۱ ۰۰۱-۰۰۴-۰۰۱/۱۳1:1
A \ B ۰۰۱-۰۰۴-۰۰۱/۲۲Difference of sets
A ∆ B ۰۰۱-۰۰۴-۰۰۱/۲۴Symmetric Difference of sets
A×B ۰۰۱-۰۰۴-۰۰۱/۳۱Cartesian product of sets
AC ۰۰۱-۰۰۶-۰۰۱/۰۲Axiom of Choice
n تایی‌ مرتب ۰۰۱-۰۰۳-۰۰۱/۰۵Ordered n-ary
NBG ۰۰۱-۰۰۲-۰۰۱/۱۲Neumann-Bernays-Godel system
NBG: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۴Neumann-Bernays-Godel
Ƥ(A) ۰۰۱-۰۰۴-۰۰۱/۲۶Intersection set
X+ ۰۰۱-۰۰۴-۰۰۱/۱۴Immediate successor set
ZF ۰۰۱-۰۰۲-۰۰۱/۱۱Zermelo-Fraenkel system
ZF: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۲ZF
ZF+C ۰۰۱-۰۰۲-۰۰۱/۱۴Zermelo-Fraenkel system with Choice function
ZF+C: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۳ZF-C
ZFC ۰۰۱-۰۰۲-۰۰۱/۱۳Zermelo-Fraenkel system with Choice function
ω ۰۰۱-۰۰۵-۰۰۱/۰۲ω
ℵ ۰۰۱-۰۰۷-۰۰۱/۱۳Alef
اجتماع دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۸Union of sets
اجتماع کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۸Union of classes
اجتماع مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۱Union of sets
از تابع به رابطه ۰۰۱-۰۰۴-۰۰۱/۲۶From function to relation
ازهم جدا ۰۰۱-۰۰۴-۰۰۱/۲۰Disjoint sets
استدلال انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۲Abstract reasoning
استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۱۳Mathematical induction
استقرای کامل ۰۰۱-۰۰۸-۰۰۱/۱۱Complete induction
اشتراک دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۷Intersection of sets
اشتراک کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۹Intersection of classes
اشتراک مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۸Intersection of sets
اصل اجتماع ۰۰۱-۰۰۶-۰۰۱/۲۴Axiom of union
اصل استقرای ریاضی ۰۰۱-۰۰۱-۰۰۱/۲۰Mathematical induction principle
اصل استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۱۰Mathematical induction principle
اصل بنیاد ۰۰۱-۰۰۶-۰۰۱/۲۸Axiom of Regularity
اصل ترازمندی ۰۰۱-۰۰۶-۰۰۱/۲۷Axiom of Regularity
اصل ترازمندی ۰۰۱-۰۰۵-۰۰۱/۲۱Axiom of Regularity
اصل تهی ۰۰۱-۰۰۶-۰۰۱/۲۲Axiom of Null
اصل توان ۰۰۱-۰۰۶-۰۰۱/۲۵Axiom of power
اصل توان ضعیف ۰۰۱-۰۰۴-۰۰۱/۲۹Weak power axiom
اصل جایگزینی ۰۰۱-۰۰۶-۰۰۱/۲۹Replacement Axiom
اصل خوش‌ترتیبی ۰۰۱-۰۰۳-۰۰۱/۳۷Well-ordering principle
اصل دوگانه سازی ۰۰۱-۰۰۶-۰۰۱/۲۳Axiom of pairing
اصل گسترش ۰۰۱-۰۰۶-۰۰۱/۱۰Axiom of Extension
اصل موضوع ۰۰۱-۰۰۱-۰۰۱/۰۷Axiom
اصل موضوع اجتماع درZF ۰۰۱-۰۰۴-۰۰۱/۱۰Axiom of Union
اصل موضوع اشتراک ۰۰۱-۰۰۶-۰۰۱/۲۱Axiom of Intersection
اصل موضوع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۱Axiom of Choice
اصل موضوع انتخاب وابسته ۰۰۱-۰۰۶-۰۰۱/۰۷Axiom of Dependent Choice
اصل موضوع بنیاد در 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
اصل وجودی ضعیف ۰۰۱-۰۰۳-۰۰۱/۲۵Weaken axiom of existence
اصول موضوعه پئانو ۰۰۱-۰۰۱-۰۰۱/۱۶Peano's Axioms
اعداد گنگ ۰۰۱-۰۰۲-۰۰۱/۱۶Irrational numbers
اعداد متناهی ۰۰۱-۰۰۷-۰۰۱/۲۱Finite Numbers
افراز مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۲Partition of set
اکیداً کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۶Strictly smaller
الحاق رشته ۰۰۱-۰۰۹-۰۰۱/۰۸String concatenation
الفبا ۰۰۱-۰۰۹-۰۰۱/۰۱Alphabet
انژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۱Injective
انگاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۴Primitive notion
انگاره تعریفی ۰۰۱-۰۰۱-۰۰۱/۰۶Defined Term
اولین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۶Fist element
ایزومورفیسم ۰۰۱-۰۱۰-۰۰۱/۰۶Isomorphism
ایزومورفیک ۰۰۱-۰۱۰-۰۰۱/۰۳Isomorphic
بازگشت ۰۰۱-۰۰۸-۰۰۱/۰۱Recursion
برد تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Range of function in ZF
برد تابع ۰۰۱-۰۰۴-۰۰۱/۰۶Range of function
برشمردن ۰۰۱-۰۰۵-۰۰۱/۰۷Enumerate
برهان در دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۲Proof in axiomatic system
برهان قطری کانتور ۰۰۱-۰۰۵-۰۰۱/۱۴Cantor's diagonal argumentan
بزرگ‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۷Greatest element
بزرگترین مقسوم علیه مشترک ۰۰۱-۰۰۸-۰۰۱/۲۰Greatest Common Divisor
بنداشت ۰۰۱-۰۰۱-۰۰۱/۰۹Initial proposition
بیژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۷Bijective
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۴Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۳Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۲-۰۰۱/۰۶Russel’s paradox
پارادوکس کانتور ۰۰۱-۰۰۷-۰۰۱/۲۲Cantor’s paradox
پاره آغازی ۰۰۱-۰۰۹-۰۰۱/۰۵Initial segment
پاره آغازی سره ۰۰۱-۰۰۹-۰۰۱/۰۶Proper initial segment
پاره پایانی ۰۰۱-۰۰۹-۰۰۱/۰۷Final segement
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۹Inductive step
پیکانه ۰۰۱-۰۰۲-۰۰۱/۲۶Arrow
پیکانه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۱Arrow
تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Function
تابع ۰۰۱-۰۰۴-۰۰۱/۰۱function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۲Function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۳Function
تابع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۳Choice function
تابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۷Recursive functions
تابع پوشا ۰۰۱-۰۰۴-۰۰۱/۱۴Surjective function
تابع تالی ۰۰۱-۰۰۸-۰۰۱/۱۶Successor function
تابع ثابت ۰۰۱-۰۰۴-۰۰۱/۲۱Constant function
تابع جزئی ۰۰۱-۰۰۴-۰۰۱/۳۳Partial function
تابع جفت سازی استاندارد ۰۰۱-۰۰۵-۰۰۱/۱۱Standard Pairing Function
تابع جمع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۸Recursive sum function
تابع دو سویی ۰۰۱-۰۰۴-۰۰۱/۱۶Bijective function
تابع ضرب بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۹Recursive multiplication function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۳۴Total function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۰۳Total function
تابع مشخصه ۰۰۱-۰۰۴-۰۰۱/۳۰Characteristic function
تابع مشخصه رابطه ۰۰۱-۰۰۴-۰۰۱/۳۲Characteristic function of relation
تابع نشانگر ۰۰۱-۰۰۴-۰۰۱/۳۱Indicator Function
تابع همانی ۰۰۱-۰۰۴-۰۰۱/۲۰Identity function
تابع و رابطه ۰۰۱-۰۰۴-۰۰۱/۲۵Function and relation
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۲۳Inverse function
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۱۸Inverse function
تابع یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۰One-to-one function
تالی بی‌واسطه عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۹Immediate Successor of Natrual Number
تحدید تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Restriction of a function
تحدید رابطه ۰۰۱-۰۰۳-۰۰۱/۱۸Restriction of Relations
ترامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۷Transfinite Numbers
ترتیب خطی در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۵Linear ordering in sets
ترتیب واژه نویسی) ۰۰۱-۰۰۳-۰۰۱/۳۰Lexicographic
ترکیب رابطه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۴Composition of relations
ترکیبتوابع ۰۰۱-۰۰۴-۰۰۱/۴۱Function composition
تساوی کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۰۹Equality in Classes
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۴Inductive definition
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۵Recursive definition
تعلق ۰۰۱-۰۰۲-۰۰۱/۰۴Belonging
تعمیم اجتماع و اشتراک ۰۰۱-۰۰۴-۰۰۱/۴۰Generalized unions and intersections
تفاضل دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۱Difference of sets
تفاضل متقارن دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۳Symmetric Difference of sets
تفاضل مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۹Difference of sets
تفکر انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۱Abstract thinking
تناظر یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۹One to one correspondence
توابع سازگار ۰۰۱-۰۰۴-۰۰۱/۲۸Compatible functions
توابع هم‌ارز ۰۰۱-۰۰۴-۰۰۱/۲۹Equivalent functions
توسیع تابع ۰۰۱-۰۰۴-۰۰۱/۳۷Extension of a function
جمع اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۷Ordinal Sum
جمع کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۳Sum of Ordinal numbers
جهان سخن ۰۰۱-۰۱۰-۰۰۱/۰۱Universe of Discourse
جهان فون نویمان ۰۰۱-۰۰۵-۰۰۱/۱۵Von Neumann universe
چیز ۰۰۱-۰۰۲-۰۰۱/۲۵Object
چیز: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۰Object
حرف خالی ۰۰۱-۰۰۹-۰۰۱/۰۴Empty letter
حروف الفبا ۰۰۱-۰۰۹-۰۰۱/۰۲Alphabet letters
خانواده فهرست‌شده ۰۰۱-۰۰۴-۰۰۱/۳۸Indexed family
خانواده-مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۸Family of sets
خوش-بنیاد ۰۰۱-۰۰۵-۰۰۱/۲۴Well founded
خوش-بنیاد ۰۰۱-۰۰۲-۰۰۱/۱۶Well founded
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۰۴Domain of function
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۳۴Domian of function in ZF
دامنه رابطه ۰۰۱-۰۰۳-۰۰۱/۱۱Domain of relation
دامنه سخن ۰۰۱-۰۱۰-۰۰۱/۰۲Universe of Discourse
در مجموعه بودن ۰۰۱-۰۰۲-۰۰۱/۰۳Membership
درست پوچ ۰۰۱-۰۰۳-۰۰۱/۲۸Vacuous Truth
درستی تهی ۰۰۱-۰۰۳-۰۰۱/۲۷Vacuous Truth
درستی یا نادرستی فرض‌های پیوستار ۰۰۱-۰۰۷-۰۰۱/۱۱Truth and untruth of continuum hypothesizes
درونی ۰۰۱-۰۰۴-۰۰۱/۱۲Embedded
دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۱Axiomatic System
دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۰۳Axiomatic System
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۳Von Neumann-Bernays-Godel set theory
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۱NBG Axiomatic System
دستگاه اصل موضوعی سازگار ۰۰۱-۰۰۱-۰۰۱/۱۵Consistency of Axioms
دستگاه حساب منطقی ۰۰۱-۰۰۱-۰۰۱/۰۲Logical calculi
دستگاه صوری ۰۰۱-۰۰۱-۰۰۱/۰۱Formal System
دنباله ۰۰۱-۰۰۴-۰۰۱/۴۳Sequence
دنباله عناصر ۰۰۱-۰۰۵-۰۰۱/۱۰Sequence of elements
دنباله فیبوناچی ۰۰۱-۰۰۴-۰۰۱/۴۴Fibonacci sequence
دو مجموعه هم‌عدد ۰۰۱-۰۰۷-۰۰۱/۰۳Equinumerous sets
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۶Ordered pair
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۷Ordered pair
دوتایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۳Ordered pairs
دوتایی نامرتب ۰۰۱-۰۰۴-۰۰۱/۰۲Unordered pair
رابطه ۰۰۱-۰۰۳-۰۰۱/۰۷Relation
رابطه nتایی ۰۰۱-۰۰۳-۰۰۱/۰۸N-ari relation
رابطه بازتابی ۰۰۱-۰۰۳-۰۰۱/۱۹Reflexive relation
رابطه پادمتقارن ۰۰۱-۰۰۳-۰۰۱/۲۱Antisymetric relation
رابطه ترایایی ۰۰۱-۰۰۳-۰۰۱/۲۲Transitive relation
رابطه ترتیبی ۰۰۱-۰۰۳-۰۰۱/۲۳Order relation
رابطه ترتیبی کامل در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۴Total ordering relation in sets
رابطه تساوی ۰۰۱-۰۰۳-۰۰۱/۱۶Equality relation
رابطه تهی ۰۰۱-۰۰۳-۰۰۱/۱۰Empty relation
رابطه قطری ۰۰۱-۰۰۳-۰۰۱/۱۷Diagonal elation
رابطه متقارن ۰۰۱-۰۰۳-۰۰۱/۲۰Symetric relation
رابطه هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۸Equivalent relation
رابطه همانندی ۰۰۱-۰۰۳-۰۰۱/۱۵Identity relation
رابطه هم‌نهشتی ۰۰۱-۰۰۳-۰۰۱/۴۱Congruence relation
رابطه وارون ۰۰۱-۰۰۳-۰۰۱/۰۹Inversed Relation
رتبه تالی ۰۰۱-۰۱۰-۰۰۱/۱۵Successor ordinals
رتبه حدی ۰۰۱-۰۱۰-۰۰۱/۱۶Limit ordinals
رتبه‌های متناهی ۰۰۱-۰۱۰-۰۰۱/۱۳Finite ordinals
رتبه‌های نامتناهی ۰۰۱-۰۱۰-۰۰۱/۱۴Infinite ordinals
رشته‌ ۰۰۱-۰۰۹-۰۰۱/۰۳string
روش بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۲recursion9s1
روش تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۶Method of Inductive definition
رویداد آزاد ۰۰۱-۰۰۳-۰۰۱/۰۴Free occurrence of a variable
رویداد پابند ۰۰۱-۰۰۳-۰۰۱/۰۵Bound occurrence of a variable
زبان ۰۰۱-۰۰۹-۰۰۱/۱۲Language
زَبرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۹Superset
زنجیره عضویتی کاهنده ۰۰۱-۰۰۵-۰۰۱/۲۲Descending ∈-chain
زنجیره عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۲-۰۰۱/۱۵Infinite descending ∈-chains
زنجیره‌ عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۵-۰۰۱/۲۳Infinite descending ∈-chain
زیرکلاس ۰۰۱-۰۰۶-۰۰۱/۱۳Subclass
زیرکلاس سره ۰۰۱-۰۰۶-۰۰۱/۱۴Proper Subclass
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۸Subset
زیرمجموعه ۰۰۱-۰۰۲-۰۰۱/۰۳Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۶Subset
زیرمجموعه سره ۰۰۱-۰۰۲-۰۰۱/۰۴Proper Subset
زیرمجموعه سره ۰۰۱-۰۰۳-۰۰۱/۲۰Proper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۲-۰۰۱/۰۵Improper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۳-۰۰۱/۲۲Improper Subset
سابجکتیو ۰۰۱-۰۰۴-۰۰۱/۱۵Surjective
ساختار ۰۰۱-۰۰۳-۰۰۱/۰۱Structure
ساختار نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۵Structure Preserving
سازگاری و ناتمامیت ZF ۰۰۱-۰۰۵-۰۰۱/۱۶Consistency and incompleteness of ZF
سالبه به انتفای موضوع ۰۰۱-۰۰۳-۰۰۱/۳۰Vacuous Truth
سلسله‌مراتب تجمعی مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۴Cumulative hierarchy of sets
سه‌تایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۴Ordered Triples
شرط ۰۰۱-۰۰۳-۰۰۱/۰۶Condition
شمارای نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۹Denumerable
شمارایی و کاردینال ۰۰۱-۰۰۵-۰۰۱/۰۴Countability and cardinality
شمارش پذیر ۰۰۱-۰۰۵-۰۰۱/۰۶Countable set
شمارش‌پذیری اعداد گویا ۰۰۱-۰۰۵-۰۰۱/۱۰Countability of rational numbers
شمای اصل موضوعی جایگزینی در ZF ۰۰۱-۰۰۵-۰۰۱/۱۱Axiom Schema of Replacement
شمای اصل موضوعی جدایی در ZF ۰۰۱-۰۰۳-۰۰۱/۱۰Axiom Schema of separation in ZF
شمای اصل موضوعی ساخت ۰۰۱-۰۰۶-۰۰۱/۱۱Axiom Schema of Construction
شمای اصل موضوعی کلاس ساز ۰۰۱-۰۰۶-۰۰۱/۱۲Axiom Schema of class builder
شمای گیرایش ۰۰۱-۰۰۳-۰۰۱/۱۲Comprehension Schema
شِمای ویژه ‌یافتگی ۰۰۱-۰۰۳-۰۰۱/۱۱Axiom Schema of Specification
صدق تهی ۰۰۱-۰۰۳-۰۰۱/۲۹Vacuous Truth
ضرب اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۸Ordinal Product
ضرب دکارتی ۰۰۱-۰۰۳-۰۰۱/۰۶Cartesian product
ضرب دکارتی مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۳۰Cartesian product of sets
ضرب کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۴Product of Ordinal numbers
طول عبارت ۰۰۱-۰۰۹-۰۰۱/۱۰Expression length
عالم سخن ۰۰۱-۰۰۳-۰۰۱/۰۲Universe of Discourse
عبارت ۰۰۱-۰۰۹-۰۰۱/۰۹Expression
عبارت تعریف‌نشده ۰۰۱-۰۰۱-۰۰۱/۰۵Undefined term
عدد اردینال ۰۰۱-۰۱۰-۰۰۱/۱۱Ordinal Number
عدد بیکران ۰۰۱-۰۰۷-۰۰۱/۱۶Transfinite Numbers
عدد تراگذری ۰۰۱-۰۰۵-۰۰۱/۱۳Transcendental number
عدد ترانسفینی ۰۰۱-۰۰۷-۰۰۱/۱۵Transfinite Numbers
عدد ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۲Ordinal Number
عدد جبری ۰۰۱-۰۰۵-۰۰۱/۱۲Algebraic number
عدد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۵Natural number
عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۸Natrual Number
عدد کراندار ۰۰۱-۰۰۷-۰۰۱/۲۰Finite Numbers
عضو ۰۰۱-۰۰۲-۰۰۱/۰۵Member
عضو: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۷Member
عنصر ۰۰۱-۰۰۲-۰۰۱/۰۶Element
عنصر ۰۰۱-۰۰۶-۰۰۱/۰۸Elemen in NBG
عنصر -∈کمینه ۰۰۱-۰۰۵-۰۰۱/۱۹∈-minimal element
عنصر آخرین ۰۰۱-۰۰۳-۰۰۱/۲۸Last element
عنصر سازنده ۰۰۱-۰۰۸-۰۰۱/۱۵Constructive element
عنصر کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۶Element
عنصر کمینه‌ای عضویتی ۰۰۱-۰۰۵-۰۰۱/۱۸Minimal elements of membership
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۵Element
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۸Element
فرض پیوستار ۰۰۱-۰۰۷-۰۰۱/۰۷Continuum hypothesis
فرض پیوستار عام ۰۰۱-۰۰۷-۰۰۱/۰۸Generalized continuum hypothesis
فرمول‌ خوش-ساخت در مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۰۳Well-formed formula in set theory
فهرست‌گر خانواده مجموعه ۰۰۱-۰۰۴-۰۰۱/۳۹Index set
قدر مشترک‌ ۰۰۱-۰۰۴-۰۰۱/۱۶Intersection set
قضیه بازگشت ۰۰۱-۰۰۵-۰۰۱/۱۳Recursion theorem
قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۴Well ordering theorem
قضیه در یک دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۳Theorem in Axiomatic System
قضیه زیملو ۰۰۱-۰۰۶-۰۰۱/۰۵Zermelo theorem
قضیه شرودر برنشتاین ۰۰۱-۰۰۷-۰۰۱/۰۵Schroder bernstein theorem
قضیه کانتور ۰۰۱-۰۰۷-۰۰۱/۰۴Cantor's theorem
قضیه نقطه برجا ۰۰۱-۰۰۵-۰۰۱/۱۲Fixed point theorem
قضیه‌های اول و دوم ناتمامیت گودل در نظریه مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۷Incompleteness in set theory
قلمرو تابع ۰۰۱-۰۰۴-۰۰۱/۰۷Co-domain of function
قلمرو رابطه ۰۰۱-۰۰۳-۰۰۱/۱۲Range of relation
قواعد استنتاج در دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۰Rules of inference in axiomatic system
کاردینال ۰۰۱-۰۰۷-۰۰۱/۱۲Cardinal
کاردینال مجموعه تهی ۰۰۱-۰۰۷-۰۰۱/۱۸Cardinality of empty set
کاردینال مجموعه متناهی ۰۰۱-۰۰۷-۰۰۱/۱۹Finite Cardinal
کاردینال نامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۴Infinite Cardinal
کتگوری ۰۰۱-۰۰۲-۰۰۱/۲۳Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۸Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۷Category
کلاس ۰۰۱-۰۰۲-۰۰۱/۱۷Class
کلاس ۰۰۱-۰۰۲-۰۰۱/۱۹Class
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۴Class in NBG
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۲Class in NBG
کلاس تهی ۰۰۱-۰۰۶-۰۰۱/۱۶Empty Class
کلاس جهانی ۰۰۱-۰۰۶-۰۰۱/۱۷Universal Class
کلاس سره ۰۰۱-۰۰۲-۰۰۱/۲۰Proper class
کلاس سره ۰۰۱-۰۰۶-۰۰۱/۰۶Proper class
کلاس سره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۳Proper Class
کلاس ناسره ۰۰۱-۰۰۲-۰۰۱/۲۱Improper class
کلاس ناسره ۰۰۱-۰۰۶-۰۰۱/۰۷Improper class
کلاس ناسره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۴Improper Class
کلاس و مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۰Class and set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۱Class as set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۲Class as class
کلاس‌های هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۹Equivalence class
کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۷Smaller
کوچک‌ترین ۰۰۱-۰۰۵-۰۰۱/۰۸Smallest
کوچک‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۵Smallest element
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۸Inductive step
گام پایه‌ای ۰۰۱-۰۰۸-۰۰۱/۰۷Base Step
گراف تابع ۰۰۱-۰۰۴-۰۰۱/۲۷Graph of function
گزاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۸Initial proposition
گسترش تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Extension of a function
متعلق: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۹Belonging
متغیر مجموعه‌ای ۰۰۱-۰۰۳-۰۰۱/۰۱Variable in set theory
متمم کلاس ۰۰۱-۰۰۶-۰۰۱/۲۰Complement of classes
متمم مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۰Complement of stes
متناهی و نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۱Finite and infinite
مجموعه ۰۰۱-۰۰۶-۰۰۱/۱۵Set in NBG
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۱Set
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۲Set
مجموعه اجتماع‌ ۰۰۱-۰۰۴-۰۰۱/۰۸Union set
مجموعه استقرایی ۰۰۱-۰۰۴-۰۰۱/۱۵Inductive Set
مجموعه اعداد حقیقی ۰۰۱-۰۰۲-۰۰۱/۱۷Set of real number
مجموعه اعداد صحیح ۰۰۱-۰۰۲-۰۰۱/۱۴Set of integer number
مجموعه اعداد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۳The set of Natural numbers
مجموعه اعداد طبیعی ۰۰۱-۰۰۲-۰۰۱/۱۳Set of natural number
مجموعه اعداد گویا ۰۰۱-۰۰۲-۰۰۱/۱۵Set of rational number
مجموعه آغازی تابع ۰۰۱-۰۰۴-۰۰۱/۰۵Departure set of funtion
مجموعه انجامی تابع ۰۰۱-۰۰۴-۰۰۱/۰۸Destination set of funtion
مجموعه بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۴Recursive set
مجموعه تالی بی‌واسطه ۰۰۱-۰۰۴-۰۰۱/۱۳Immediate successor set
مجموعه تراگذر ۰۰۱-۰۰۵-۰۰۱/۰۹Transitive Set
مجموعه تکینه ۰۰۱-۰۰۴-۰۰۱/۰۳Singleton set
مجموعه تهی ۰۰۱-۰۰۳-۰۰۱/۲۴Empty set
مجموعه تهی ۰۰۱-۰۰۲-۰۰۱/۰۲Empty set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۵Power set
مجموعه توانی ۰۰۱-۰۰۲-۰۰۱/۱۱Power set
مجموعه توانی ۰۰۱-۰۰۶-۰۰۱/۲۶Power Set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۷Power set
مجموعه خوش‌-ترتیب ۰۰۱-۰۰۳-۰۰۱/۳۶Well ordered set
مجموعه شمارا ۰۰۱-۰۰۵-۰۰۱/۰۵Countable set
مجموعه متناهی ۰۰۱-۰۰۵-۰۰۱/۰۳Finite set
مجموعه مرتب جزئی ۰۰۱-۰۰۳-۰۰۱/۲۴Partial ordered set
مجموعه مرتب کامل ۰۰۱-۰۰۳-۰۰۱/۳۳Total ordered set
مجموعه ناشمارا ۰۰۱-۰۰۵-۰۰۱/۰۸Uncountable set
مجموعه نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۲Infinite set
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۳۸Set of functions
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۲۲Set of functions
مجموعه و عضویت: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۵Set and membership
مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۶Set
مجموعه‌ها دو به دو مساوی‌ ۰۰۱-۰۰۲-۰۰۱/۰۱Two equal sets
مجموعه‌ها ‌مساوی ۰۰۱-۰۰۳-۰۰۱/۰۹Equal Sets
مجموعه‌ی همه مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۵Set of sets
مستقل ۰۰۱-۰۰۱-۰۰۱/۱۴Independency of Axioms
معمای برج هانوی ۰۰۱-۰۰۸-۰۰۱/۲۱Tower of Hanoi puzzle
مقایسه پذیر ۰۰۱-۰۰۳-۰۰۱/۳۱Comparability
مقایسه پذیری مجموعه‌ها ۰۰۱-۰۰۷-۰۰۱/۰۶Comparability theorem
مقایسه ناپذیر ۰۰۱-۰۰۳-۰۰۱/۳۲Incomparable
مقدار تابع ۰۰۱-۰۰۴-۰۰۱/۰۹Value of function
مهمل انتزاعی ۰۰۱-۰۰۲-۰۰۱/۲۲Abstract Nonsense
میدان رابطه ۰۰۱-۰۰۳-۰۰۱/۱۳Field of relation
نامتناهی بالقوه ۰۰۱-۰۰۷-۰۰۱/۰۱Potentially infinite
نامتناهی واقعی ۰۰۱-۰۰۷-۰۰۱/۰۲Actually infinite
نظریه توابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۳Theory of recursive functions
نظریه طبیعی مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۰**No Eng Tit**
نظریه کتگوری ۰۰۱-۰۰۲-۰۰۱/۲۴Category Theory
نظریه کتگوری‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۹Category Theory
نظریه مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۸Set theory
نظریه مجموعه‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۱Set Theory
نظریه مجموعه‌های بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۰۹Infinite Set Theory
نگاشت ۰۰۱-۰۰۴-۰۰۱/۰۲Mapping
نگاشت ترتیب نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۹Order preserving map
نگاشت وارون ۰۰۱-۰۰۴-۰۰۱/۲۴Inverse Mapping
نمادهای کمکی ۰۰۱-۰۰۳-۰۰۱/۰۲Axillary symbols
نمایندگی کلاس هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۴۰Representative of the equivalence class
نمودار هس ۰۰۱-۰۰۳-۰۰۱/۲۹Hasse diagram
هم‌ دامنه ۰۰۱-۰۰۴-۰۰۱/۳۷Codomain
هم‌ارزی اصل استقرای ریاضی، استقرای ریاضی کامل و خوش-ترتیبی ۰۰۱-۰۰۸-۰۰۱/۱۲Equivalence of Well-Ordering Principle and Induction
هم‌ارزی اصل انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۶Equivalence of the choice axiom and well-ordering theorem
هم‌ارزی فرض پیوستار عام و اصل موضوع انتخاب ۰۰۱-۰۰۷-۰۰۱/۰۹**No Eng Tit**
هم‌ارزی فرض پیوستار عام، اصل موضوع انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۷-۰۰۱/۱۰**No Eng Tit**
واژگان ابتدایی ۰۰۱-۰۰۹-۰۰۱/۱۱Primitive_vocabulary
ویژگی ۰۰۱-۰۰۳-۰۰۱/۰۷Property
ویژگی‌های ترکیب توابع ۰۰۱-۰۰۴-۰۰۱/۴۲Properties of composition of functions.
یکریخت ۰۰۱-۰۱۰-۰۰۱/۰۴Isomorphic
یکریخت ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۰Order-preserving isomorphic
یکریختی ۰۰۱-۰۱۰-۰۰۱/۰۷Isomorphism
هم‌ارزی فرض پیوستار عام و اصل موضوع انتخاب ۰۰۱-۰۰۷-۰۰۱/۰۹**No Eng Tit**
نظریه طبیعی مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۰**No Eng Tit**
هم‌ارزی فرض پیوستار عام، اصل موضوع انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۷-۰۰۱/۱۰**No Eng Tit**
عنصر -∈کمینه ۰۰۱-۰۰۵-۰۰۱/۱۹∈-minimal element
≅ ۰۰۱-۰۱۰-۰۰۱/۰۸≅
۰۰۱-۰۰۱-۰۰۱/۱۷0
۱:۱ ۰۰۱-۰۰۴-۰۰۱/۱۳1:1
مهمل انتزاعی ۰۰۱-۰۰۲-۰۰۱/۲۲Abstract Nonsense
استدلال انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۲Abstract reasoning
تفکر انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۱Abstract thinking
نامتناهی واقعی ۰۰۱-۰۰۷-۰۰۱/۰۲Actually infinite
ℵ ۰۰۱-۰۰۷-۰۰۱/۱۳Alef
عدد جبری ۰۰۱-۰۰۵-۰۰۱/۱۲Algebraic number
الفبا ۰۰۱-۰۰۹-۰۰۱/۰۱Alphabet
حروف الفبا ۰۰۱-۰۰۹-۰۰۱/۰۲Alphabet letters
رابطه پادمتقارن ۰۰۱-۰۰۳-۰۰۱/۲۱Antisymetric relation
پیکانه ۰۰۱-۰۰۲-۰۰۱/۲۶Arrow
پیکانه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۱Arrow
نمادهای کمکی ۰۰۱-۰۰۳-۰۰۱/۰۲Axillary symbols
اصل موضوع ۰۰۱-۰۰۱-۰۰۱/۰۷Axiom
اصل موضوع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۱Axiom of Choice
AC ۰۰۱-۰۰۶-۰۰۱/۰۲Axiom of Choice
اصل موضوع انتخاب وابسته ۰۰۱-۰۰۶-۰۰۱/۰۷Axiom of Dependent Choice
اصل موضوع وجودی در ZF ۰۰۱-۰۰۳-۰۰۱/۲۳Axiom of Existence in ZF
اصل گسترش ۰۰۱-۰۰۶-۰۰۱/۱۰Axiom of Extension
اصل موضوع گسترش در ZF ۰۰۱-۰۰۳-۰۰۱/۰۸Axiom of extension in ZF
اصل موضوع بنیاد در ZF ۰۰۱-۰۰۵-۰۰۱/۲۰Axiom of foundation in ZFC
اصل موضوع بی‌نهایت در ZF ۰۰۱-۰۰۵-۰۰۱/۰۱Axiom of infinity in ZFC
اصل موضوع اشتراک ۰۰۱-۰۰۶-۰۰۱/۲۱Axiom of Intersection
اصل تهی ۰۰۱-۰۰۶-۰۰۱/۲۲Axiom of Null
اصل دوگانه سازی ۰۰۱-۰۰۶-۰۰۱/۲۳Axiom of pairing
اصل توان ۰۰۱-۰۰۶-۰۰۱/۲۵Axiom of power
اصل موضوع مجموعه توانی درZF ۰۰۱-۰۰۴-۰۰۱/۲۸Axiom of Power set
اصل ترازمندی ۰۰۱-۰۰۵-۰۰۱/۲۱Axiom of Regularity
اصل ترازمندی ۰۰۱-۰۰۶-۰۰۱/۲۷Axiom of Regularity
اصل بنیاد ۰۰۱-۰۰۶-۰۰۱/۲۸Axiom of Regularity
اصل موضوع اجتماع درZF ۰۰۱-۰۰۴-۰۰۱/۱۰Axiom of Union
اصل اجتماع ۰۰۱-۰۰۶-۰۰۱/۲۴Axiom of union
شمای اصل موضوعی کلاس ساز ۰۰۱-۰۰۶-۰۰۱/۱۲Axiom Schema of class builder
شمای اصل موضوعی ساخت ۰۰۱-۰۰۶-۰۰۱/۱۱Axiom Schema of Construction
شمای اصل موضوعی جایگزینی در ZF ۰۰۱-۰۰۵-۰۰۱/۱۱Axiom Schema of Replacement
شمای اصل موضوعی جدایی در ZF ۰۰۱-۰۰۳-۰۰۱/۱۰Axiom Schema of separation in ZF
شِمای ویژه ‌یافتگی ۰۰۱-۰۰۳-۰۰۱/۱۱Axiom Schema of Specification
دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۱Axiomatic System
دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۰۳Axiomatic System
گام پایه‌ای ۰۰۱-۰۰۸-۰۰۱/۰۷Base Step
∈ ۰۰۱-۰۰۲-۰۰۱/۰۷Belonging
متعلق: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۹Belonging
تعلق ۰۰۱-۰۰۲-۰۰۱/۰۴Belonging
بیژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۷Bijective
تابع دو سویی ۰۰۱-۰۰۴-۰۰۱/۱۶Bijective function
رویداد پابند ۰۰۱-۰۰۳-۰۰۱/۰۵Bound occurrence of a variable
پارادوکس کانتور ۰۰۱-۰۰۷-۰۰۱/۲۲Cantor’s paradox
برهان قطری کانتور ۰۰۱-۰۰۵-۰۰۱/۱۴Cantor's diagonal argumentan
قضیه کانتور ۰۰۱-۰۰۷-۰۰۱/۰۴Cantor's theorem
کاردینال ۰۰۱-۰۰۷-۰۰۱/۱۲Cardinal
کاردینال مجموعه تهی ۰۰۱-۰۰۷-۰۰۱/۱۸Cardinality of empty set
ضرب دکارتی ۰۰۱-۰۰۳-۰۰۱/۰۶Cartesian product
ضرب دکارتی مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۳۰Cartesian product of sets
A×B ۰۰۱-۰۰۴-۰۰۱/۳۱Cartesian product of sets
کتگوری ۰۰۱-۰۰۲-۰۰۱/۲۳Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۷Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۸Category
نظریه کتگوری ۰۰۱-۰۰۲-۰۰۱/۲۴Category Theory
نظریه کتگوری‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۹Category Theory
تابع مشخصه ۰۰۱-۰۰۴-۰۰۱/۳۰Characteristic function
تابع مشخصه رابطه ۰۰۱-۰۰۴-۰۰۱/۳۲Characteristic function of relation
تابع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۳Choice function
کلاس ۰۰۱-۰۰۲-۰۰۱/۱۷Class
کلاس ۰۰۱-۰۰۲-۰۰۱/۱۹Class
کلاس و مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۰Class and set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۲Class as class
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۱Class as set
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۴Class in NBG
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۲Class in NBG
هم‌ دامنه ۰۰۱-۰۰۴-۰۰۱/۳۷Codomain
قلمرو تابع ۰۰۱-۰۰۴-۰۰۱/۰۷Co-domain of function
مقایسه پذیر ۰۰۱-۰۰۳-۰۰۱/۳۱Comparability
مقایسه پذیری مجموعه‌ها ۰۰۱-۰۰۷-۰۰۱/۰۶Comparability theorem
توابع سازگار ۰۰۱-۰۰۴-۰۰۱/۲۸Compatible functions
متمم کلاس ۰۰۱-۰۰۶-۰۰۱/۲۰Complement of classes
متمم مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۰Complement of stes
استقرای کامل ۰۰۱-۰۰۸-۰۰۱/۱۱Complete induction
ترکیب رابطه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۴Composition of relations
شمای گیرایش ۰۰۱-۰۰۳-۰۰۱/۱۲Comprehension Schema
شرط ۰۰۱-۰۰۳-۰۰۱/۰۶Condition
رابطه هم‌نهشتی ۰۰۱-۰۰۳-۰۰۱/۴۱Congruence relation
سازگاری و ناتمامیت ZF ۰۰۱-۰۰۵-۰۰۱/۱۶Consistency and incompleteness of ZF
دستگاه اصل موضوعی سازگار ۰۰۱-۰۰۱-۰۰۱/۱۵Consistency of Axioms
تابع ثابت ۰۰۱-۰۰۴-۰۰۱/۲۱Constant function
عنصر سازنده ۰۰۱-۰۰۸-۰۰۱/۱۵Constructive element
فرض پیوستار ۰۰۱-۰۰۷-۰۰۱/۰۷Continuum hypothesis
شمارایی و کاردینال ۰۰۱-۰۰۵-۰۰۱/۰۴Countability and cardinality
شمارش‌پذیری اعداد گویا ۰۰۱-۰۰۵-۰۰۱/۱۰Countability of rational numbers
شمارش پذیر ۰۰۱-۰۰۵-۰۰۱/۰۶Countable set
مجموعه شمارا ۰۰۱-۰۰۵-۰۰۱/۰۵Countable set
سلسله‌مراتب تجمعی مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۴Cumulative hierarchy of sets
انگاره تعریفی ۰۰۱-۰۰۱-۰۰۱/۰۶Defined Term
شمارای نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۹Denumerable
مجموعه آغازی تابع ۰۰۱-۰۰۴-۰۰۱/۰۵Departure set of funtion
زنجیره عضویتی کاهنده ۰۰۱-۰۰۵-۰۰۱/۲۲Descending ∈-chain
مجموعه انجامی تابع ۰۰۱-۰۰۴-۰۰۱/۰۸Destination set of funtion
رابطه قطری ۰۰۱-۰۰۳-۰۰۱/۱۷Diagonal elation
A \ B ۰۰۱-۰۰۴-۰۰۱/۲۲Difference of sets
تفاضل دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۱Difference of sets
تفاضل مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۹Difference of sets
ازهم جدا ۰۰۱-۰۰۴-۰۰۱/۲۰Disjoint sets
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۰۴Domain of function
دامنه رابطه ۰۰۱-۰۰۳-۰۰۱/۱۱Domain of relation
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۳۴Domian of function in ZF
عنصر ۰۰۱-۰۰۶-۰۰۱/۰۸Elemen in NBG
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۵Element
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۸Element
عنصر کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۶Element
عنصر ۰۰۱-۰۰۲-۰۰۱/۰۶Element
درونی ۰۰۱-۰۰۴-۰۰۱/۱۲Embedded
کلاس تهی ۰۰۱-۰۰۶-۰۰۱/۱۶Empty Class
حرف خالی ۰۰۱-۰۰۹-۰۰۱/۰۴Empty letter
رابطه تهی ۰۰۱-۰۰۳-۰۰۱/۱۰Empty relation
مجموعه تهی ۰۰۱-۰۰۳-۰۰۱/۲۴Empty set
∅ ۰۰۱-۰۰۳-۰۰۱/۲۶Empty set
مجموعه تهی ۰۰۱-۰۰۲-۰۰۱/۰۲Empty set
برشمردن ۰۰۱-۰۰۵-۰۰۱/۰۷Enumerate
مجموعه‌ها ‌مساوی ۰۰۱-۰۰۳-۰۰۱/۰۹Equal Sets
تساوی کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۰۹Equality in Classes
رابطه تساوی ۰۰۱-۰۰۳-۰۰۱/۱۶Equality relation
دو مجموعه هم‌عدد ۰۰۱-۰۰۷-۰۰۱/۰۳Equinumerous sets
کلاس‌های هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۹Equivalence class
هم‌ارزی اصل انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۶Equivalence of the choice axiom and well-ordering theorem
هم‌ارزی اصل استقرای ریاضی، استقرای ریاضی کامل و خوش-ترتیبی ۰۰۱-۰۰۸-۰۰۱/۱۲Equivalence of Well-Ordering Principle and Induction
توابع هم‌ارز ۰۰۱-۰۰۴-۰۰۱/۲۹Equivalent functions
رابطه هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۸Equivalent relation
عبارت ۰۰۱-۰۰۹-۰۰۱/۰۹Expression
طول عبارت ۰۰۱-۰۰۹-۰۰۱/۱۰Expression length
گسترش تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Extension of a function
توسیع تابع ۰۰۱-۰۰۴-۰۰۱/۳۷Extension of a function
خانواده-مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۸Family of sets
دنباله فیبوناچی ۰۰۱-۰۰۴-۰۰۱/۴۴Fibonacci sequence
میدان رابطه ۰۰۱-۰۰۳-۰۰۱/۱۳Field of relation
پاره پایانی ۰۰۱-۰۰۹-۰۰۱/۰۷Final segement
متناهی و نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۱Finite and infinite
کاردینال مجموعه متناهی ۰۰۱-۰۰۷-۰۰۱/۱۹Finite Cardinal
اعداد متناهی ۰۰۱-۰۰۷-۰۰۱/۲۱Finite Numbers
عدد کراندار ۰۰۱-۰۰۷-۰۰۱/۲۰Finite Numbers
رتبه‌های متناهی ۰۰۱-۰۱۰-۰۰۱/۱۳Finite ordinals
مجموعه متناهی ۰۰۱-۰۰۵-۰۰۱/۰۳Finite set
اولین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۶Fist element
قضیه نقطه برجا ۰۰۱-۰۰۵-۰۰۱/۱۲Fixed point theorem
دستگاه صوری ۰۰۱-۰۰۱-۰۰۱/۰۱Formal System
رویداد آزاد ۰۰۱-۰۰۳-۰۰۱/۰۴Free occurrence of a variable
از تابع به رابطه ۰۰۱-۰۰۴-۰۰۱/۲۶From function to relation
تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۳Function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۲Function
تابع ۰۰۱-۰۰۴-۰۰۱/۰۱function
تابع و رابطه ۰۰۱-۰۰۴-۰۰۱/۲۵Function and relation
ترکیبتوابع ۰۰۱-۰۰۴-۰۰۱/۴۱Function composition
فرض پیوستار عام ۰۰۱-۰۰۷-۰۰۱/۰۸Generalized continuum hypothesis
تعمیم اجتماع و اشتراک ۰۰۱-۰۰۴-۰۰۱/۴۰Generalized unions and intersections
گراف تابع ۰۰۱-۰۰۴-۰۰۱/۲۷Graph of function
بزرگترین مقسوم علیه مشترک ۰۰۱-۰۰۸-۰۰۱/۲۰Greatest Common Divisor
بزرگ‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۷Greatest element
نمودار هس ۰۰۱-۰۰۳-۰۰۱/۲۹Hasse diagram
تابع همانی ۰۰۱-۰۰۴-۰۰۱/۲۰Identity function
رابطه همانندی ۰۰۱-۰۰۳-۰۰۱/۱۵Identity relation
تالی بی‌واسطه عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۹Immediate Successor of Natrual Number
X+ ۰۰۱-۰۰۴-۰۰۱/۱۴Immediate successor set
مجموعه تالی بی‌واسطه ۰۰۱-۰۰۴-۰۰۱/۱۳Immediate successor set
کلاس ناسره ۰۰۱-۰۰۶-۰۰۱/۰۷Improper class
کلاس ناسره ۰۰۱-۰۰۲-۰۰۱/۲۱Improper class
کلاس ناسره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۴Improper Class
زیرمجموعه ناسره ۰۰۱-۰۰۲-۰۰۱/۰۵Improper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۳-۰۰۱/۲۲Improper Subset
مقایسه ناپذیر ۰۰۱-۰۰۳-۰۰۱/۳۲Incomparable
قضیه‌های اول و دوم ناتمامیت گودل در نظریه مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۷Incompleteness in set theory
مستقل ۰۰۱-۰۰۱-۰۰۱/۱۴Independency of Axioms
فهرست‌گر خانواده مجموعه ۰۰۱-۰۰۴-۰۰۱/۳۹Index set
خانواده فهرست‌شده ۰۰۱-۰۰۴-۰۰۱/۳۸Indexed family
تابع نشانگر ۰۰۱-۰۰۴-۰۰۱/۳۱Indicator Function
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۴Inductive definition
مجموعه استقرایی ۰۰۱-۰۰۴-۰۰۱/۱۵Inductive Set
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۹Inductive step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۸Inductive step
کاردینال نامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۴Infinite Cardinal
زنجیره‌ عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۵-۰۰۱/۲۳Infinite descending ∈-chain
زنجیره عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۲-۰۰۱/۱۵Infinite descending ∈-chains
رتبه‌های نامتناهی ۰۰۱-۰۱۰-۰۰۱/۱۴Infinite ordinals
مجموعه نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۲Infinite set
نظریه مجموعه‌های بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۰۹Infinite Set Theory
بنداشت ۰۰۱-۰۰۱-۰۰۱/۰۹Initial proposition
گزاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۸Initial proposition
پاره آغازی ۰۰۱-۰۰۹-۰۰۱/۰۵Initial segment
انژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۱Injective
اشتراک کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۹Intersection of classes
∩ ۰۰۱-۰۰۴-۰۰۱/۱۹Intersection of sets
اشتراک دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۷Intersection of sets
اشتراک مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۸Intersection of sets
قدر مشترک‌ ۰۰۱-۰۰۴-۰۰۱/۱۶Intersection set
∩(A) ۰۰۱-۰۰۴-۰۰۱/۱۷Intersection set
Ƥ(A) ۰۰۱-۰۰۴-۰۰۱/۲۶Intersection set
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۲۳Inverse function
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۱۸Inverse function
نگاشت وارون ۰۰۱-۰۰۴-۰۰۱/۲۴Inverse Mapping
رابطه وارون ۰۰۱-۰۰۳-۰۰۱/۰۹Inversed Relation
اعداد گنگ ۰۰۱-۰۰۲-۰۰۱/۱۶Irrational numbers
ایزومورفیک ۰۰۱-۰۱۰-۰۰۱/۰۳Isomorphic
یکریخت ۰۰۱-۰۱۰-۰۰۱/۰۴Isomorphic
یکریختی ۰۰۱-۰۱۰-۰۰۱/۰۷Isomorphism
ایزومورفیسم ۰۰۱-۰۱۰-۰۰۱/۰۶Isomorphism
زبان ۰۰۱-۰۰۹-۰۰۱/۱۲Language
عنصر آخرین ۰۰۱-۰۰۳-۰۰۱/۲۸Last element
ترتیب واژه نویسی) ۰۰۱-۰۰۳-۰۰۱/۳۰Lexicographic
رتبه حدی ۰۰۱-۰۱۰-۰۰۱/۱۶Limit ordinals
ترتیب خطی در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۵Linear ordering in sets
دستگاه حساب منطقی ۰۰۱-۰۰۱-۰۰۱/۰۲Logical calculi
نگاشت ۰۰۱-۰۰۴-۰۰۱/۰۲Mapping
استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۱۳Mathematical induction
اصل استقرای ریاضی ۰۰۱-۰۰۱-۰۰۱/۲۰Mathematical induction principle
اصل استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۱۰Mathematical induction principle
عضو: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۷Member
عضو ۰۰۱-۰۰۲-۰۰۱/۰۵Member
در مجموعه بودن ۰۰۱-۰۰۲-۰۰۱/۰۳Membership
∈ ۰۰۱-۰۰۶-۰۰۱/۰۵Membership in NBG
روش تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۶Method of Inductive definition
عنصر کمینه‌ای عضویتی ۰۰۱-۰۰۵-۰۰۱/۱۸Minimal elements of membership
۰۰۱-۰۰۵-۰۰۱/۰۴ℕ
رابطه nتایی ۰۰۱-۰۰۳-۰۰۱/۰۸N-ari relation
عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۸Natrual Number
عدد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۵Natural number
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۱NBG Axiomatic System
NBG: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۴Neumann-Bernays-Godel
NBG ۰۰۱-۰۰۲-۰۰۱/۱۲Neumann-Bernays-Godel system
چیز ۰۰۱-۰۰۲-۰۰۱/۲۵Object
چیز: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۰Object
تناظر یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۹One to one correspondence
تابع یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۰One-to-one function
نگاشت ترتیب نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۹Order preserving map
رابطه ترتیبی ۰۰۱-۰۰۳-۰۰۱/۲۳Order relation
n تایی‌ مرتب ۰۰۱-۰۰۳-۰۰۱/۰۵Ordered n-ary
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۶Ordered pair
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۷Ordered pair
<X,Y> ۰۰۱-۰۰۴-۰۰۱/۰۵Ordered pairs
(X,Y) ۰۰۱-۰۰۴-۰۰۱/۰۴Ordered pairs
دوتایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۳Ordered pairs
سه‌تایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۴Ordered Triples
یکریخت ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۰Order-preserving isomorphic
عدد ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۲Ordinal Number
عدد اردینال ۰۰۱-۰۱۰-۰۰۱/۱۱Ordinal Number
ضرب اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۸Ordinal Product
جمع اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۷Ordinal Sum
اصل موضوع دوگانه‌ساز درZF ۰۰۱-۰۰۴-۰۰۱/۰۱Pairing axiom in zfc
تابع جزئی ۰۰۱-۰۰۴-۰۰۱/۳۳Partial function
مجموعه مرتب جزئی ۰۰۱-۰۰۳-۰۰۱/۲۴Partial ordered set
افراز مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۲Partition of set
اصول موضوعه پئانو ۰۰۱-۰۰۱-۰۰۱/۱۶Peano's Axioms
نامتناهی بالقوه ۰۰۱-۰۰۷-۰۰۱/۰۱Potentially infinite
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۵Power set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۷Power set
مجموعه توانی ۰۰۱-۰۰۶-۰۰۱/۲۶Power Set
مجموعه توانی ۰۰۱-۰۰۲-۰۰۱/۱۱Power set
انگاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۴Primitive notion
واژگان ابتدایی ۰۰۱-۰۰۹-۰۰۱/۱۱Primitive_vocabulary
ضرب کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۴Product of Ordinal numbers
برهان در دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۲Proof in axiomatic system
کلاس سره ۰۰۱-۰۰۲-۰۰۱/۲۰Proper class
کلاس سره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۳Proper Class
کلاس سره ۰۰۱-۰۰۶-۰۰۱/۰۶Proper class
پاره آغازی سره ۰۰۱-۰۰۹-۰۰۱/۰۶Proper initial segment
زیرکلاس سره ۰۰۱-۰۰۶-۰۰۱/۱۴Proper Subclass
⊂ ۰۰۱-۰۰۳-۰۰۱/۲۱Proper Subset
زیرمجموعه سره ۰۰۱-۰۰۲-۰۰۱/۰۴Proper Subset
زیرمجموعه سره ۰۰۱-۰۰۳-۰۰۱/۲۰Proper Subset
ویژگی‌های ترکیب توابع ۰۰۱-۰۰۴-۰۰۱/۴۲Properties of composition of functions.
ویژگی ۰۰۱-۰۰۳-۰۰۱/۰۷Property
برد تابع ۰۰۱-۰۰۴-۰۰۱/۰۶Range of function
برد تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Range of function in ZF
قلمرو رابطه ۰۰۱-۰۰۳-۰۰۱/۱۲Range of relation
بازگشت ۰۰۱-۰۰۸-۰۰۱/۰۱Recursion
قضیه بازگشت ۰۰۱-۰۰۵-۰۰۱/۱۳Recursion theorem
روش بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۲recursion9s1
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۵Recursive definition
تابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۷Recursive functions
تابع ضرب بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۹Recursive multiplication function
مجموعه بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۴Recursive set
تابع جمع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۸Recursive sum function
رابطه بازتابی ۰۰۱-۰۰۳-۰۰۱/۱۹Reflexive relation
رابطه ۰۰۱-۰۰۳-۰۰۱/۰۷Relation
اصل جایگزینی ۰۰۱-۰۰۶-۰۰۱/۲۹Replacement Axiom
نمایندگی کلاس هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۴۰Representative of the equivalence class
تحدید تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Restriction of a function
تحدید رابطه ۰۰۱-۰۰۳-۰۰۱/۱۸Restriction of Relations
قواعد استنتاج در دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۰Rules of inference in axiomatic system
پارادوکس راسل ۰۰۱-۰۰۲-۰۰۱/۰۶Russel’s paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۳Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۴Russell’s paradox
قضیه شرودر برنشتاین ۰۰۱-۰۰۷-۰۰۱/۰۵Schroder bernstein theorem
دنباله ۰۰۱-۰۰۴-۰۰۱/۴۳Sequence
دنباله عناصر ۰۰۱-۰۰۵-۰۰۱/۱۰Sequence of elements
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۲Set
مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۶Set
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۱Set
مجموعه و عضویت: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۵Set and membership
مجموعه ۰۰۱-۰۰۶-۰۰۱/۱۵Set in NBG
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۳۸Set of functions
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۲۲Set of functions
مجموعه اعداد صحیح ۰۰۱-۰۰۲-۰۰۱/۱۴Set of integer number
مجموعه اعداد طبیعی ۰۰۱-۰۰۲-۰۰۱/۱۳Set of natural number
مجموعه اعداد گویا ۰۰۱-۰۰۲-۰۰۱/۱۵Set of rational number
مجموعه اعداد حقیقی ۰۰۱-۰۰۲-۰۰۱/۱۷Set of real number
مجموعه‌ی همه مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۵Set of sets
نظریه مجموعه‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۱Set Theory
نظریه مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۸Set theory
مجموعه تکینه ۰۰۱-۰۰۴-۰۰۱/۰۳Singleton set
کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۷Smaller
کوچک‌ترین ۰۰۱-۰۰۵-۰۰۱/۰۸Smallest
کوچک‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۵Smallest element
تابع جفت سازی استاندارد ۰۰۱-۰۰۵-۰۰۱/۱۱Standard Pairing Function
اکیداً کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۶Strictly smaller
رشته‌ ۰۰۱-۰۰۹-۰۰۱/۰۳string
الحاق رشته ۰۰۱-۰۰۹-۰۰۱/۰۸String concatenation
ساختار ۰۰۱-۰۰۳-۰۰۱/۰۱Structure
ساختار نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۵Structure Preserving
زیرکلاس ۰۰۱-۰۰۶-۰۰۱/۱۳Subclass
⊆ ۰۰۱-۰۰۳-۰۰۱/۱۷Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۶Subset
زیرمجموعه ۰۰۱-۰۰۲-۰۰۱/۰۳Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۸Subset
تابع تالی ۰۰۱-۰۰۸-۰۰۱/۱۶Successor function
رتبه تالی ۰۰۱-۰۱۰-۰۰۱/۱۵Successor ordinals
جمع کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۳Sum of Ordinal numbers
زَبرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۹Superset
سابجکتیو ۰۰۱-۰۰۴-۰۰۱/۱۵Surjective
تابع پوشا ۰۰۱-۰۰۴-۰۰۱/۱۴Surjective function
رابطه متقارن ۰۰۱-۰۰۳-۰۰۱/۲۰Symetric relation
A ∆ B ۰۰۱-۰۰۴-۰۰۱/۲۴Symmetric Difference of sets
تفاضل متقارن دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۳Symmetric Difference of sets
مجموعه اعداد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۳The set of Natural numbers
قضیه در یک دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۳Theorem in Axiomatic System
نظریه توابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۳Theory of recursive functions
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۳۴Total function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۰۳Total function
مجموعه مرتب کامل ۰۰۱-۰۰۳-۰۰۱/۳۳Total ordered set
رابطه ترتیبی کامل در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۴Total ordering relation in sets
معمای برج هانوی ۰۰۱-۰۰۸-۰۰۱/۲۱Tower of Hanoi puzzle
عدد تراگذری ۰۰۱-۰۰۵-۰۰۱/۱۳Transcendental number
ترامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۷Transfinite Numbers
عدد بیکران ۰۰۱-۰۰۷-۰۰۱/۱۶Transfinite Numbers
عدد ترانسفینی ۰۰۱-۰۰۷-۰۰۱/۱۵Transfinite Numbers
رابطه ترایایی ۰۰۱-۰۰۳-۰۰۱/۲۲Transitive relation
مجموعه تراگذر ۰۰۱-۰۰۵-۰۰۱/۰۹Transitive Set
درستی یا نادرستی فرض‌های پیوستار ۰۰۱-۰۰۷-۰۰۱/۱۱Truth and untruth of continuum hypothesizes
مجموعه‌ها دو به دو مساوی‌ ۰۰۱-۰۰۲-۰۰۱/۰۱Two equal sets
مجموعه ناشمارا ۰۰۱-۰۰۵-۰۰۱/۰۸Uncountable set
عبارت تعریف‌نشده ۰۰۱-۰۰۱-۰۰۱/۰۵Undefined term
اجتماع کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۸Union of classes
اجتماع مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۱Union of sets
اجتماع دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۸Union of sets
∪ ۰۰۱-۰۰۴-۰۰۱/۱۲Union of sets of sets
∪(A) ۰۰۱-۰۰۴-۰۰۱/۰۹Union set
مجموعه اجتماع‌ ۰۰۱-۰۰۴-۰۰۱/۰۸Union set
کلاس جهانی ۰۰۱-۰۰۶-۰۰۱/۱۷Universal Class
عالم سخن ۰۰۱-۰۰۳-۰۰۱/۰۲Universe of Discourse
جهان سخن ۰۰۱-۰۱۰-۰۰۱/۰۱Universe of Discourse
دامنه سخن ۰۰۱-۰۱۰-۰۰۱/۰۲Universe of Discourse
دوتایی نامرتب ۰۰۱-۰۰۴-۰۰۱/۰۲Unordered pair
سالبه به انتفای موضوع ۰۰۱-۰۰۳-۰۰۱/۳۰Vacuous Truth
صدق تهی ۰۰۱-۰۰۳-۰۰۱/۲۹Vacuous Truth
درستی تهی ۰۰۱-۰۰۳-۰۰۱/۲۷Vacuous Truth
درست پوچ ۰۰۱-۰۰۳-۰۰۱/۲۸Vacuous Truth
مقدار تابع ۰۰۱-۰۰۴-۰۰۱/۰۹Value of function
متغیر مجموعه‌ای ۰۰۱-۰۰۳-۰۰۱/۰۱Variable in set theory
جهان فون نویمان ۰۰۱-۰۰۵-۰۰۱/۱۵Von Neumann universe
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۳Von Neumann-Bernays-Godel set theory
اصل توان ضعیف ۰۰۱-۰۰۴-۰۰۱/۲۹Weak power axiom
اصل وجودی ضعیف ۰۰۱-۰۰۳-۰۰۱/۲۵Weaken axiom of existence
خوش-بنیاد ۰۰۱-۰۰۵-۰۰۱/۲۴Well founded
خوش-بنیاد ۰۰۱-۰۰۲-۰۰۱/۱۶Well founded
مجموعه خوش‌-ترتیب ۰۰۱-۰۰۳-۰۰۱/۳۶Well ordered set
قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۴Well ordering theorem
فرمول‌ خوش-ساخت در مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۰۳Well-formed formula in set theory
اصل خوش‌ترتیبی ۰۰۱-۰۰۳-۰۰۱/۳۷Well-ordering principle
قضیه زیملو ۰۰۱-۰۰۶-۰۰۱/۰۵Zermelo theorem
ZF ۰۰۱-۰۰۲-۰۰۱/۱۱Zermelo-Fraenkel system
ZFC ۰۰۱-۰۰۲-۰۰۱/۱۳Zermelo-Fraenkel system with Choice function
ZF+C ۰۰۱-۰۰۲-۰۰۱/۱۴Zermelo-Fraenkel system with Choice function
ZF: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۲ZF
ZF+C: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۳ZF-C
ω ۰۰۱-۰۰۵-۰۰۱/۰۲ω
دستگاه صوری ۰۰۱-۰۰۱-۰۰۱/۰۱۰۰۰1Formal System
نظریه مجموعه‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۱۰۰۰2Set Theory
دستگاه حساب منطقی ۰۰۱-۰۰۱-۰۰۱/۰۲۰۰۰3Logical calculi
ZF: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۲۰۰۰4ZF
دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۰۳۰۰۰5Axiomatic System
ZF+C: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۳۰۰۰6ZF-C
انگاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۴۰۰۰7Primitive notion
NBG: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۴۰۰۰8Neumann-Bernays-Godel
مجموعه و عضویت: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۵۰۰۰9Set and membership
عبارت تعریف‌نشده ۰۰۱-۰۰۱-۰۰۱/۰۵۰۰10Undefined term
انگاره تعریفی ۰۰۱-۰۰۱-۰۰۱/۰۶۰۰11Defined Term
مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۶۰۰12Set
عضو: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۷۰۰13Member
اصل موضوع ۰۰۱-۰۰۱-۰۰۱/۰۷۰۰14Axiom
گزاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۸۰۰15Initial proposition
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۸۰۰16Element
متعلق: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۹۰۰17Belonging
بنداشت ۰۰۱-۰۰۱-۰۰۱/۰۹۰۰18Initial proposition
کلاس و مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۰۰۰19Class and set
قواعد استنتاج در دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۰۰۰20Rules of inference in axiomatic system
دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۱۰۰21Axiomatic System
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۱۰۰22Class as set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۲۰۰23Class as class
برهان در دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۲۰۰24Proof in axiomatic system
قضیه در یک دستگاه اصل موضوعی ۰۰۱-۰۰۱-۰۰۱/۱۳۰۰25Theorem in Axiomatic System
کلاس سره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۳۰۰26Proper Class
کلاس ناسره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۴۰۰27Improper Class
مستقل ۰۰۱-۰۰۱-۰۰۱/۱۴۰۰28Independency of Axioms
دستگاه اصل موضوعی سازگار ۰۰۱-۰۰۱-۰۰۱/۱۵۰۰29Consistency of Axioms
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۵۰۰30Element
عنصر کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۶۰۰31Element
اصول موضوعه پئانو ۰۰۱-۰۰۱-۰۰۱/۱۶۰۰32Peano's Axioms
۰۰۱-۰۰۱-۰۰۱/۱۷۰۰330
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۷۰۰34Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۸۰۰35Category
عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۸۰۰36Natrual Number
تالی بی‌واسطه عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۹۰۰37Immediate Successor of Natrual Number
نظریه کتگوری‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۹۰۰38Category Theory
چیز: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۰۰۰39Object
اصل استقرای ریاضی ۰۰۱-۰۰۱-۰۰۱/۲۰۰۰40Mathematical induction principle
تفکر انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۱۰۰41Abstract thinking
پیکانه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۱۰۰42Arrow
استدلال انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۲۰۰43Abstract reasoning
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۱۰۰44Set
مجموعه‌ها دو به دو مساوی‌ ۰۰۱-۰۰۲-۰۰۱/۰۱۰۰45Two equal sets
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۲۰۰46Set
مجموعه تهی ۰۰۱-۰۰۲-۰۰۱/۰۲۰۰47Empty set
زیرمجموعه ۰۰۱-۰۰۲-۰۰۱/۰۳۰۰48Subset
در مجموعه بودن ۰۰۱-۰۰۲-۰۰۱/۰۳۰۰49Membership
زیرمجموعه سره ۰۰۱-۰۰۲-۰۰۱/۰۴۰۰50Proper Subset
تعلق ۰۰۱-۰۰۲-۰۰۱/۰۴۰۰51Belonging
عضو ۰۰۱-۰۰۲-۰۰۱/۰۵۰۰52Member
زیرمجموعه ناسره ۰۰۱-۰۰۲-۰۰۱/۰۵۰۰53Improper Subset
پارادوکس راسل ۰۰۱-۰۰۲-۰۰۱/۰۶۰۰54Russel’s paradox
عنصر ۰۰۱-۰۰۲-۰۰۱/۰۶۰۰55Element
∈ ۰۰۱-۰۰۲-۰۰۱/۰۷۰۰56Belonging
اشتراک دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۷۰۰57Intersection of sets
نظریه مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۸۰۰58Set theory
اجتماع دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۸۰۰59Union of sets
تفاضل مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۹۰۰60Difference of sets
نظریه مجموعه‌های بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۰۹۰۰61Infinite Set Theory
نظریه طبیعی مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۰۰۰62**No Eng Tit**
متمم مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۰۰۰63Complement of stes
مجموعه توانی ۰۰۱-۰۰۲-۰۰۱/۱۱۰۰64Power set
ZF ۰۰۱-۰۰۲-۰۰۱/۱۱۰۰65Zermelo-Fraenkel system
افراز مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۲۰۰66Partition of set
NBG ۰۰۱-۰۰۲-۰۰۱/۱۲۰۰67Neumann-Bernays-Godel system
مجموعه اعداد طبیعی ۰۰۱-۰۰۲-۰۰۱/۱۳۰۰68Set of natural number
ZFC ۰۰۱-۰۰۲-۰۰۱/۱۳۰۰69Zermelo-Fraenkel system with Choice function
ZF+C ۰۰۱-۰۰۲-۰۰۱/۱۴۰۰70Zermelo-Fraenkel system with Choice function
مجموعه اعداد صحیح ۰۰۱-۰۰۲-۰۰۱/۱۴۰۰71Set of integer number
زنجیره عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۲-۰۰۱/۱۵۰۰72Infinite descending ∈-chains
مجموعه اعداد گویا ۰۰۱-۰۰۲-۰۰۱/۱۵۰۰73Set of rational number
اعداد گنگ ۰۰۱-۰۰۲-۰۰۱/۱۶۰۰74Irrational numbers
خوش-بنیاد ۰۰۱-۰۰۲-۰۰۱/۱۶۰۰75Well founded
مجموعه اعداد حقیقی ۰۰۱-۰۰۲-۰۰۱/۱۷۰۰76Set of real number
کلاس ۰۰۱-۰۰۲-۰۰۱/۱۷۰۰77Class
خانواده-مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۸۰۰78Family of sets
کلاس ۰۰۱-۰۰۲-۰۰۱/۱۹۰۰79Class
کلاس سره ۰۰۱-۰۰۲-۰۰۱/۲۰۰۰80Proper class
کلاس ناسره ۰۰۱-۰۰۲-۰۰۱/۲۱۰۰81Improper class
مهمل انتزاعی ۰۰۱-۰۰۲-۰۰۱/۲۲۰۰82Abstract Nonsense
کتگوری ۰۰۱-۰۰۲-۰۰۱/۲۳۰۰83Category
نظریه کتگوری ۰۰۱-۰۰۲-۰۰۱/۲۴۰۰84Category Theory
چیز ۰۰۱-۰۰۲-۰۰۱/۲۵۰۰85Object
پیکانه ۰۰۱-۰۰۲-۰۰۱/۲۶۰۰86Arrow
متغیر مجموعه‌ای ۰۰۱-۰۰۳-۰۰۱/۰۱۰۰87Variable in set theory
ساختار ۰۰۱-۰۰۳-۰۰۱/۰۱۰۰88Structure
نمادهای کمکی ۰۰۱-۰۰۳-۰۰۱/۰۲۰۰89Axillary symbols
عالم سخن ۰۰۱-۰۰۳-۰۰۱/۰۲۰۰90Universe of Discourse
فرمول‌ خوش-ساخت در مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۰۳۰۰91Well-formed formula in set theory
دوتایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۳۰۰92Ordered pairs
رویداد آزاد ۰۰۱-۰۰۳-۰۰۱/۰۴۰۰93Free occurrence of a variable
سه‌تایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۴۰۰94Ordered Triples
رویداد پابند ۰۰۱-۰۰۳-۰۰۱/۰۵۰۰95Bound occurrence of a variable
n تایی‌ مرتب ۰۰۱-۰۰۳-۰۰۱/۰۵۰۰96Ordered n-ary
ضرب دکارتی ۰۰۱-۰۰۳-۰۰۱/۰۶۰۰97Cartesian product
شرط ۰۰۱-۰۰۳-۰۰۱/۰۶۰۰98Condition
رابطه ۰۰۱-۰۰۳-۰۰۱/۰۷۰۰99Relation
ویژگی ۰۰۱-۰۰۳-۰۰۱/۰۷۰100Property
اصل موضوع گسترش در ZF ۰۰۱-۰۰۳-۰۰۱/۰۸۰101Axiom of extension in ZF
رابطه nتایی ۰۰۱-۰۰۳-۰۰۱/۰۸۰102N-ari relation
رابطه وارون ۰۰۱-۰۰۳-۰۰۱/۰۹۰103Inversed Relation
مجموعه‌ها ‌مساوی ۰۰۱-۰۰۳-۰۰۱/۰۹۰104Equal Sets
رابطه تهی ۰۰۱-۰۰۳-۰۰۱/۱۰۰105Empty relation
شمای اصل موضوعی جدایی در ZF ۰۰۱-۰۰۳-۰۰۱/۱۰۰106Axiom Schema of separation in ZF
شِمای ویژه ‌یافتگی ۰۰۱-۰۰۳-۰۰۱/۱۱۰107Axiom Schema of Specification
دامنه رابطه ۰۰۱-۰۰۳-۰۰۱/۱۱۰108Domain of relation
شمای گیرایش ۰۰۱-۰۰۳-۰۰۱/۱۲۰109Comprehension Schema
قلمرو رابطه ۰۰۱-۰۰۳-۰۰۱/۱۲۰110Range of relation
میدان رابطه ۰۰۱-۰۰۳-۰۰۱/۱۳۰111Field of relation
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۳۰112Russell’s paradox
ترکیب رابطه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۴۰113Composition of relations
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۴۰114Russell’s paradox
مجموعه‌ی همه مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۵۰115Set of sets
رابطه همانندی ۰۰۱-۰۰۳-۰۰۱/۱۵۰116Identity relation
رابطه تساوی ۰۰۱-۰۰۳-۰۰۱/۱۶۰117Equality relation
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۶۰118Subset
⊆ ۰۰۱-۰۰۳-۰۰۱/۱۷۰119Subset
رابطه قطری ۰۰۱-۰۰۳-۰۰۱/۱۷۰120Diagonal elation
تحدید رابطه ۰۰۱-۰۰۳-۰۰۱/۱۸۰121Restriction of Relations
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۸۰122Subset
رابطه بازتابی ۰۰۱-۰۰۳-۰۰۱/۱۹۰123Reflexive relation
زَبرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۹۰124Superset
زیرمجموعه سره ۰۰۱-۰۰۳-۰۰۱/۲۰۰125Proper Subset
رابطه متقارن ۰۰۱-۰۰۳-۰۰۱/۲۰۰126Symetric relation
رابطه پادمتقارن ۰۰۱-۰۰۳-۰۰۱/۲۱۰127Antisymetric relation
⊂ ۰۰۱-۰۰۳-۰۰۱/۲۱۰128Proper Subset
رابطه ترایایی ۰۰۱-۰۰۳-۰۰۱/۲۲۰129Transitive relation
زیرمجموعه ناسره ۰۰۱-۰۰۳-۰۰۱/۲۲۰130Improper Subset
اصل موضوع وجودی در ZF ۰۰۱-۰۰۳-۰۰۱/۲۳۰131Axiom of Existence in ZF
رابطه ترتیبی ۰۰۱-۰۰۳-۰۰۱/۲۳۰132Order relation
مجموعه مرتب جزئی ۰۰۱-۰۰۳-۰۰۱/۲۴۰133Partial ordered set
مجموعه تهی ۰۰۱-۰۰۳-۰۰۱/۲۴۰134Empty set
کوچک‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۵۰135Smallest element
اصل وجودی ضعیف ۰۰۱-۰۰۳-۰۰۱/۲۵۰136Weaken axiom of existence
اولین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۶۰137Fist element
∅ ۰۰۱-۰۰۳-۰۰۱/۲۶۰138Empty set
بزرگ‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۷۰139Greatest element
درستی تهی ۰۰۱-۰۰۳-۰۰۱/۲۷۰140Vacuous Truth
درست پوچ ۰۰۱-۰۰۳-۰۰۱/۲۸۰141Vacuous Truth
عنصر آخرین ۰۰۱-۰۰۳-۰۰۱/۲۸۰142Last element
نمودار هس ۰۰۱-۰۰۳-۰۰۱/۲۹۰143Hasse diagram
صدق تهی ۰۰۱-۰۰۳-۰۰۱/۲۹۰144Vacuous Truth
سالبه به انتفای موضوع ۰۰۱-۰۰۳-۰۰۱/۳۰۰145Vacuous Truth
ترتیب واژه نویسی) ۰۰۱-۰۰۳-۰۰۱/۳۰۰146Lexicographic
مقایسه پذیر ۰۰۱-۰۰۳-۰۰۱/۳۱۰147Comparability
مقایسه ناپذیر ۰۰۱-۰۰۳-۰۰۱/۳۲۰148Incomparable
مجموعه مرتب کامل ۰۰۱-۰۰۳-۰۰۱/۳۳۰149Total ordered set
رابطه ترتیبی کامل در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۴۰150Total ordering relation in sets
ترتیب خطی در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۵۰151Linear ordering in sets
مجموعه خوش‌-ترتیب ۰۰۱-۰۰۳-۰۰۱/۳۶۰152Well ordered set
اصل خوش‌ترتیبی ۰۰۱-۰۰۳-۰۰۱/۳۷۰153Well-ordering principle
رابطه هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۸۰154Equivalent relation
کلاس‌های هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۹۰155Equivalence class
نمایندگی کلاس هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۴۰۰156Representative of the equivalence class
رابطه هم‌نهشتی ۰۰۱-۰۰۳-۰۰۱/۴۱۰157Congruence relation
اصل موضوع دوگانه‌ساز درZF ۰۰۱-۰۰۴-۰۰۱/۰۱۰158Pairing axiom in zfc
تابع ۰۰۱-۰۰۴-۰۰۱/۰۱۰159function
نگاشت ۰۰۱-۰۰۴-۰۰۱/۰۲۰160Mapping
دوتایی نامرتب ۰۰۱-۰۰۴-۰۰۱/۰۲۰161Unordered pair
مجموعه تکینه ۰۰۱-۰۰۴-۰۰۱/۰۳۰162Singleton set
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۰۳۰163Total function
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۰۴۰164Domain of function
(X,Y) ۰۰۱-۰۰۴-۰۰۱/۰۴۰165Ordered pairs
مجموعه آغازی تابع ۰۰۱-۰۰۴-۰۰۱/۰۵۰166Departure set of funtion
<X,Y> ۰۰۱-۰۰۴-۰۰۱/۰۵۰167Ordered pairs
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۶۰168Ordered pair
برد تابع ۰۰۱-۰۰۴-۰۰۱/۰۶۰169Range of function
قلمرو تابع ۰۰۱-۰۰۴-۰۰۱/۰۷۰170Co-domain of function
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۷۰171Ordered pair
مجموعه اجتماع‌ ۰۰۱-۰۰۴-۰۰۱/۰۸۰172Union set
مجموعه انجامی تابع ۰۰۱-۰۰۴-۰۰۱/۰۸۰173Destination set of funtion
مقدار تابع ۰۰۱-۰۰۴-۰۰۱/۰۹۰174Value of function
∪(A) ۰۰۱-۰۰۴-۰۰۱/۰۹۰175Union set
تابع یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۰۰176One-to-one function
اصل موضوع اجتماع درZF ۰۰۱-۰۰۴-۰۰۱/۱۰۰177Axiom of Union
اجتماع مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۱۰178Union of sets
انژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۱۰179Injective
درونی ۰۰۱-۰۰۴-۰۰۱/۱۲۰180Embedded
∪ ۰۰۱-۰۰۴-۰۰۱/۱۲۰181Union of sets of sets
مجموعه تالی بی‌واسطه ۰۰۱-۰۰۴-۰۰۱/۱۳۰182Immediate successor set
۱:۱ ۰۰۱-۰۰۴-۰۰۱/۱۳۰1831:1
تابع پوشا ۰۰۱-۰۰۴-۰۰۱/۱۴۰184Surjective function
X+ ۰۰۱-۰۰۴-۰۰۱/۱۴۰185Immediate successor set
سابجکتیو ۰۰۱-۰۰۴-۰۰۱/۱۵۰186Surjective
مجموعه استقرایی ۰۰۱-۰۰۴-۰۰۱/۱۵۰187Inductive Set
قدر مشترک‌ ۰۰۱-۰۰۴-۰۰۱/۱۶۰188Intersection set
تابع دو سویی ۰۰۱-۰۰۴-۰۰۱/۱۶۰189Bijective function
بیژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۷۰190Bijective
∩(A) ۰۰۱-۰۰۴-۰۰۱/۱۷۰191Intersection set
اشتراک مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۸۰192Intersection of sets
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۱۸۰193Inverse function
تناظر یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۹۰194One to one correspondence
∩ ۰۰۱-۰۰۴-۰۰۱/۱۹۰195Intersection of sets
ازهم جدا ۰۰۱-۰۰۴-۰۰۱/۲۰۰196Disjoint sets
تابع همانی ۰۰۱-۰۰۴-۰۰۱/۲۰۰197Identity function
تفاضل دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۱۰198Difference of sets
تابع ثابت ۰۰۱-۰۰۴-۰۰۱/۲۱۰199Constant function
A \ B ۰۰۱-۰۰۴-۰۰۱/۲۲۰200Difference of sets
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۲۲۰201Set of functions
تفاضل متقارن دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۳۰202Symmetric Difference of sets
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۲۳۰203Inverse function
نگاشت وارون ۰۰۱-۰۰۴-۰۰۱/۲۴۰204Inverse Mapping
A ∆ B ۰۰۱-۰۰۴-۰۰۱/۲۴۰205Symmetric Difference of sets
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۵۰206Power set
تابع و رابطه ۰۰۱-۰۰۴-۰۰۱/۲۵۰207Function and relation
از تابع به رابطه ۰۰۱-۰۰۴-۰۰۱/۲۶۰208From function to relation
Ƥ(A) ۰۰۱-۰۰۴-۰۰۱/۲۶۰209Intersection set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۷۰210Power set
گراف تابع ۰۰۱-۰۰۴-۰۰۱/۲۷۰211Graph of function
توابع سازگار ۰۰۱-۰۰۴-۰۰۱/۲۸۰212Compatible functions
اصل موضوع مجموعه توانی درZF ۰۰۱-۰۰۴-۰۰۱/۲۸۰213Axiom of Power set
اصل توان ضعیف ۰۰۱-۰۰۴-۰۰۱/۲۹۰214Weak power axiom
توابع هم‌ارز ۰۰۱-۰۰۴-۰۰۱/۲۹۰215Equivalent functions
تابع مشخصه ۰۰۱-۰۰۴-۰۰۱/۳۰۰216Characteristic function
ضرب دکارتی مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۳۰۰217Cartesian product of sets
A×B ۰۰۱-۰۰۴-۰۰۱/۳۱۰218Cartesian product of sets
تابع نشانگر ۰۰۱-۰۰۴-۰۰۱/۳۱۰219Indicator Function
تابع مشخصه رابطه ۰۰۱-۰۰۴-۰۰۱/۳۲۰220Characteristic function of relation
تابع ۰۰۱-۰۰۴-۰۰۱/۳۲۰221Function
تابع جزئی ۰۰۱-۰۰۴-۰۰۱/۳۳۰222Partial function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۳۰223Function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۳۴۰224Total function
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۳۴۰225Domian of function in ZF
تحدید تابع ۰۰۱-۰۰۴-۰۰۱/۳۵۰226Restriction of a function
برد تابع ۰۰۱-۰۰۴-۰۰۱/۳۵۰227Range of function in ZF
تابع ۰۰۱-۰۰۴-۰۰۱/۳۶۰228Function
گسترش تابع ۰۰۱-۰۰۴-۰۰۱/۳۶۰229Extension of a function
توسیع تابع ۰۰۱-۰۰۴-۰۰۱/۳۷۰230Extension of a function
هم‌ دامنه ۰۰۱-۰۰۴-۰۰۱/۳۷۰231Codomain
خانواده فهرست‌شده ۰۰۱-۰۰۴-۰۰۱/۳۸۰232Indexed family
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۳۸۰233Set of functions
فهرست‌گر خانواده مجموعه ۰۰۱-۰۰۴-۰۰۱/۳۹۰234Index set
تعمیم اجتماع و اشتراک ۰۰۱-۰۰۴-۰۰۱/۴۰۰235Generalized unions and intersections
ترکیبتوابع ۰۰۱-۰۰۴-۰۰۱/۴۱۰236Function composition
ویژگی‌های ترکیب توابع ۰۰۱-۰۰۴-۰۰۱/۴۲۰237Properties of composition of functions.
دنباله ۰۰۱-۰۰۴-۰۰۱/۴۳۰238Sequence
دنباله فیبوناچی ۰۰۱-۰۰۴-۰۰۱/۴۴۰239Fibonacci sequence
متناهی و نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۱۰240Finite and infinite
اصل موضوع بی‌نهایت در ZF ۰۰۱-۰۰۵-۰۰۱/۰۱۰241Axiom of infinity in ZFC
ω ۰۰۱-۰۰۵-۰۰۱/۰۲۰242ω
مجموعه نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۲۰243Infinite set
مجموعه اعداد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۳۰244The set of Natural numbers
مجموعه متناهی ۰۰۱-۰۰۵-۰۰۱/۰۳۰245Finite set
شمارایی و کاردینال ۰۰۱-۰۰۵-۰۰۱/۰۴۰246Countability and cardinality
۰۰۱-۰۰۵-۰۰۱/۰۴۰247ℕ
عدد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۵۰248Natural number
مجموعه شمارا ۰۰۱-۰۰۵-۰۰۱/۰۵۰249Countable set
شمارش پذیر ۰۰۱-۰۰۵-۰۰۱/۰۶۰250Countable set
اکیداً کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۶۰251Strictly smaller
کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۷۰252Smaller
برشمردن ۰۰۱-۰۰۵-۰۰۱/۰۷۰253Enumerate
کوچک‌ترین ۰۰۱-۰۰۵-۰۰۱/۰۸۰254Smallest
مجموعه ناشمارا ۰۰۱-۰۰۵-۰۰۱/۰۸۰255Uncountable set
شمارای نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۹۰256Denumerable
مجموعه تراگذر ۰۰۱-۰۰۵-۰۰۱/۰۹۰257Transitive Set
دنباله عناصر ۰۰۱-۰۰۵-۰۰۱/۱۰۰258Sequence of elements
شمارش‌پذیری اعداد گویا ۰۰۱-۰۰۵-۰۰۱/۱۰۰259Countability of rational numbers
تابع جفت سازی استاندارد ۰۰۱-۰۰۵-۰۰۱/۱۱۰260Standard Pairing Function
شمای اصل موضوعی جایگزینی در ZF ۰۰۱-۰۰۵-۰۰۱/۱۱۰261Axiom Schema of Replacement
قضیه نقطه برجا ۰۰۱-۰۰۵-۰۰۱/۱۲۰262Fixed point theorem
عدد جبری ۰۰۱-۰۰۵-۰۰۱/۱۲۰263Algebraic number
قضیه بازگشت ۰۰۱-۰۰۵-۰۰۱/۱۳۰264Recursion theorem
عدد تراگذری ۰۰۱-۰۰۵-۰۰۱/۱۳۰265Transcendental number
برهان قطری کانتور ۰۰۱-۰۰۵-۰۰۱/۱۴۰266Cantor's diagonal argumentan
سلسله‌مراتب تجمعی مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۴۰267Cumulative hierarchy of sets
جهان فون نویمان ۰۰۱-۰۰۵-۰۰۱/۱۵۰268Von Neumann universe
سازگاری و ناتمامیت ZF ۰۰۱-۰۰۵-۰۰۱/۱۶۰269Consistency and incompleteness of ZF
قضیه‌های اول و دوم ناتمامیت گودل در نظریه مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۷۰270Incompleteness in set theory
عنصر کمینه‌ای عضویتی ۰۰۱-۰۰۵-۰۰۱/۱۸۰271Minimal elements of membership
عنصر -∈کمینه ۰۰۱-۰۰۵-۰۰۱/۱۹۰272∈-minimal element
اصل موضوع بنیاد در ZF ۰۰۱-۰۰۵-۰۰۱/۲۰۰273Axiom of foundation in ZFC
اصل ترازمندی ۰۰۱-۰۰۵-۰۰۱/۲۱۰274Axiom of Regularity
زنجیره عضویتی کاهنده ۰۰۱-۰۰۵-۰۰۱/۲۲۰275Descending ∈-chain
زنجیره‌ عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۵-۰۰۱/۲۳۰276Infinite descending ∈-chain
خوش-بنیاد ۰۰۱-۰۰۵-۰۰۱/۲۴۰277Well founded
اصل موضوع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۱۰278Axiom of Choice
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۱۰279NBG Axiomatic System
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۲۰280Class in NBG
AC ۰۰۱-۰۰۶-۰۰۱/۰۲۰281Axiom of Choice
تابع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۳۰282Choice function
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۳۰283Von Neumann-Bernays-Godel set theory
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۴۰284Class in NBG
قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۴۰285Well ordering theorem
قضیه زیملو ۰۰۱-۰۰۶-۰۰۱/۰۵۰286Zermelo theorem
∈ ۰۰۱-۰۰۶-۰۰۱/۰۵۰287Membership in NBG
هم‌ارزی اصل انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۶۰288Equivalence of the choice axiom and well-ordering theorem
کلاس سره ۰۰۱-۰۰۶-۰۰۱/۰۶۰289Proper class
کلاس ناسره ۰۰۱-۰۰۶-۰۰۱/۰۷۰290Improper class
اصل موضوع انتخاب وابسته ۰۰۱-۰۰۶-۰۰۱/۰۷۰291Axiom of Dependent Choice
عنصر ۰۰۱-۰۰۶-۰۰۱/۰۸۰292Elemen in NBG
تساوی کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۰۹۰293Equality in Classes
اصل گسترش ۰۰۱-۰۰۶-۰۰۱/۱۰۰294Axiom of Extension
شمای اصل موضوعی ساخت ۰۰۱-۰۰۶-۰۰۱/۱۱۰295Axiom Schema of Construction
شمای اصل موضوعی کلاس ساز ۰۰۱-۰۰۶-۰۰۱/۱۲۰296Axiom Schema of class builder
زیرکلاس ۰۰۱-۰۰۶-۰۰۱/۱۳۰297Subclass
زیرکلاس سره ۰۰۱-۰۰۶-۰۰۱/۱۴۰298Proper Subclass
مجموعه ۰۰۱-۰۰۶-۰۰۱/۱۵۰299Set in NBG
کلاس تهی ۰۰۱-۰۰۶-۰۰۱/۱۶۰300Empty Class
کلاس جهانی ۰۰۱-۰۰۶-۰۰۱/۱۷۰301Universal Class
اجتماع کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۸۰302Union of classes
اشتراک کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۹۰303Intersection of classes
متمم کلاس ۰۰۱-۰۰۶-۰۰۱/۲۰۰304Complement of classes
اصل موضوع اشتراک ۰۰۱-۰۰۶-۰۰۱/۲۱۰305Axiom of Intersection
اصل تهی ۰۰۱-۰۰۶-۰۰۱/۲۲۰306Axiom of Null
اصل دوگانه سازی ۰۰۱-۰۰۶-۰۰۱/۲۳۰307Axiom of pairing
اصل اجتماع ۰۰۱-۰۰۶-۰۰۱/۲۴۰308Axiom of union
اصل توان ۰۰۱-۰۰۶-۰۰۱/۲۵۰309Axiom of power
مجموعه توانی ۰۰۱-۰۰۶-۰۰۱/۲۶۰310Power Set
اصل ترازمندی ۰۰۱-۰۰۶-۰۰۱/۲۷۰311Axiom of Regularity
اصل بنیاد ۰۰۱-۰۰۶-۰۰۱/۲۸۰312Axiom of Regularity
اصل جایگزینی ۰۰۱-۰۰۶-۰۰۱/۲۹۰313Replacement Axiom
نامتناهی بالقوه ۰۰۱-۰۰۷-۰۰۱/۰۱۰314Potentially infinite
نامتناهی واقعی ۰۰۱-۰۰۷-۰۰۱/۰۲۰315Actually infinite
دو مجموعه هم‌عدد ۰۰۱-۰۰۷-۰۰۱/۰۳۰316Equinumerous sets
قضیه کانتور ۰۰۱-۰۰۷-۰۰۱/۰۴۰317Cantor's theorem
قضیه شرودر برنشتاین ۰۰۱-۰۰۷-۰۰۱/۰۵۰318Schroder bernstein theorem
مقایسه پذیری مجموعه‌ها ۰۰۱-۰۰۷-۰۰۱/۰۶۰319Comparability theorem
فرض پیوستار ۰۰۱-۰۰۷-۰۰۱/۰۷۰320Continuum hypothesis
فرض پیوستار عام ۰۰۱-۰۰۷-۰۰۱/۰۸۰321Generalized continuum hypothesis
هم‌ارزی فرض پیوستار عام و اصل موضوع انتخاب ۰۰۱-۰۰۷-۰۰۱/۰۹۰322**No Eng Tit**
هم‌ارزی فرض پیوستار عام، اصل موضوع انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۷-۰۰۱/۱۰۰323**No Eng Tit**
درستی یا نادرستی فرض‌های پیوستار ۰۰۱-۰۰۷-۰۰۱/۱۱۰324Truth and untruth of continuum hypothesizes
کاردینال ۰۰۱-۰۰۷-۰۰۱/۱۲۰325Cardinal
ℵ ۰۰۱-۰۰۷-۰۰۱/۱۳۰326Alef
کاردینال نامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۴۰327Infinite Cardinal
عدد ترانسفینی ۰۰۱-۰۰۷-۰۰۱/۱۵۰328Transfinite Numbers
عدد بیکران ۰۰۱-۰۰۷-۰۰۱/۱۶۰329Transfinite Numbers
ترامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۷۰330Transfinite Numbers
کاردینال مجموعه تهی ۰۰۱-۰۰۷-۰۰۱/۱۸۰331Cardinality of empty set
کاردینال مجموعه متناهی ۰۰۱-۰۰۷-۰۰۱/۱۹۰332Finite Cardinal
عدد کراندار ۰۰۱-۰۰۷-۰۰۱/۲۰۰333Finite Numbers
اعداد متناهی ۰۰۱-۰۰۷-۰۰۱/۲۱۰334Finite Numbers
پارادوکس کانتور ۰۰۱-۰۰۷-۰۰۱/۲۲۰335Cantor’s paradox
جمع کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۳۰336Sum of Ordinal numbers
ضرب کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۴۰337Product of Ordinal numbers
بازگشت ۰۰۱-۰۰۸-۰۰۱/۰۱۰338Recursion
روش بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۲۰339recursion9s1
نظریه توابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۳۰340Theory of recursive functions
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۴۰341Inductive definition
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۵۰342Recursive definition
روش تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۶۰343Method of Inductive definition
گام پایه‌ای ۰۰۱-۰۰۸-۰۰۱/۰۷۰344Base Step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۸۰345Inductive step
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۹۰346Inductive step
اصل استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۱۰۰347Mathematical induction principle
استقرای کامل ۰۰۱-۰۰۸-۰۰۱/۱۱۰348Complete induction
هم‌ارزی اصل استقرای ریاضی، استقرای ریاضی کامل و خوش-ترتیبی ۰۰۱-۰۰۸-۰۰۱/۱۲۰349Equivalence of Well-Ordering Principle and Induction
استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۱۳۰350Mathematical induction
مجموعه بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۴۰351Recursive set
عنصر سازنده ۰۰۱-۰۰۸-۰۰۱/۱۵۰352Constructive element
تابع تالی ۰۰۱-۰۰۸-۰۰۱/۱۶۰353Successor function
تابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۷۰354Recursive functions
تابع جمع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۸۰355Recursive sum function
تابع ضرب بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۹۰356Recursive multiplication function
بزرگترین مقسوم علیه مشترک ۰۰۱-۰۰۸-۰۰۱/۲۰۰357Greatest Common Divisor
معمای برج هانوی ۰۰۱-۰۰۸-۰۰۱/۲۱۰358Tower of Hanoi puzzle
الفبا ۰۰۱-۰۰۹-۰۰۱/۰۱۰359Alphabet
حروف الفبا ۰۰۱-۰۰۹-۰۰۱/۰۲۰360Alphabet letters
رشته‌ ۰۰۱-۰۰۹-۰۰۱/۰۳۰361string
حرف خالی ۰۰۱-۰۰۹-۰۰۱/۰۴۰362Empty letter
پاره آغازی ۰۰۱-۰۰۹-۰۰۱/۰۵۰363Initial segment
پاره آغازی سره ۰۰۱-۰۰۹-۰۰۱/۰۶۰364Proper initial segment
پاره پایانی ۰۰۱-۰۰۹-۰۰۱/۰۷۰365Final segement
الحاق رشته ۰۰۱-۰۰۹-۰۰۱/۰۸۰366String concatenation
عبارت ۰۰۱-۰۰۹-۰۰۱/۰۹۰367Expression
طول عبارت ۰۰۱-۰۰۹-۰۰۱/۱۰۰368Expression length
واژگان ابتدایی ۰۰۱-۰۰۹-۰۰۱/۱۱۰369Primitive_vocabulary
زبان ۰۰۱-۰۰۹-۰۰۱/۱۲۰370Language
جهان سخن ۰۰۱-۰۱۰-۰۰۱/۰۱۰371Universe of Discourse
دامنه سخن ۰۰۱-۰۱۰-۰۰۱/۰۲۰372Universe of Discourse
ایزومورفیک ۰۰۱-۰۱۰-۰۰۱/۰۳۰373Isomorphic
یکریخت ۰۰۱-۰۱۰-۰۰۱/۰۴۰374Isomorphic
ساختار نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۵۰375Structure Preserving
ایزومورفیسم ۰۰۱-۰۱۰-۰۰۱/۰۶۰376Isomorphism
یکریختی ۰۰۱-۰۱۰-۰۰۱/۰۷۰377Isomorphism
≅ ۰۰۱-۰۱۰-۰۰۱/۰۸۰378≅
نگاشت ترتیب نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۹۰379Order preserving map
یکریخت ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۰۰380Order-preserving isomorphic
عدد اردینال ۰۰۱-۰۱۰-۰۰۱/۱۱۰381Ordinal Number
عدد ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۲۰382Ordinal Number
رتبه‌های متناهی ۰۰۱-۰۱۰-۰۰۱/۱۳۰383Finite ordinals
رتبه‌های نامتناهی ۰۰۱-۰۱۰-۰۰۱/۱۴۰384Infinite ordinals
رتبه تالی ۰۰۱-۰۱۰-۰۰۱/۱۵۰385Successor ordinals
رتبه حدی ۰۰۱-۰۱۰-۰۰۱/۱۶۰386Limit ordinals
جمع اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۷۰387Ordinal Sum
ضرب اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۸۰388Ordinal Product
◄ توجه: