تابع
preferred label: function @en
type: Concept
related: اصل موضوع خوش‌ترتیبی

اصل موضوع انتخاب
preferred label: axiom of choice @en
type: Concept
related: اصل موضوع خوش‌ترتیبی

مجموعه ناشمارا
preferred label: uncountable set @en
type: Concept
related: اصل موضوع خوش‌ترتیبی

اصل موضوع استقرا
preferred label: axiom of induction @en
type: Concept
related: اصل موضوع خوش‌ترتیبی

اصول موضوع نظریه مجموعه‌ها
preferred label: axioms of set theory @en
type: Concept
narrower: اصل موضوع خوش‌ترتیبی

ویژگی خوش ترتیبی
preferred label: well-ordering property @en
type: Concept
related: اصل موضوع خوش‌ترتیبی

مجموعه شمارا
preferred label: countable set @en
type: Concept
related: اصل موضوع خوش‌ترتیبی

اصل موضوع خوش‌ترتیبی
type: Concept
scope note: این گزاره که هر مجموعه ای را میتوان خوشترتیب کرد به طوری که یک مجموعه خوشترتیب شود معادل است با اصل موضوع انتخاب.
related: اصل موضوع انتخاب
related: اصل موضوع استقرا
related: مجموعه ناشمارا
related: ویژگی خوش ترتیبی
related: تابع
related: مجموعه شمارا
preferred label: well-ordering axiom @en
broader: اصول موضوع نظریه مجموعه‌ها