تابع
function
اصل موضوع انتخاب
axiom of choice
uncountable set
مجموعه ناشمارا
axiom of induction
اصل موضوع استقرا
axioms of set theory
اصول موضوع نظریه مجموعه‌ها
ویژگی خوش ترتیبی
well-ordering property
مجموعه شمارا
countable set
این گزاره که هر مجموعه ای را میتوان خوشترتیب کرد به طوری که یک مجموعه خوشترتیب شود معادل است با اصل موضوع انتخاب.
well-ordering axiom
اصل موضوع خوش‌ترتیبی