تصمیم‌پذیری
decidability
cardinal number
عدد اصلی
Cantor-Dedekind axiom
اصل موضوع کانتور-ددکیند
هندسه تحلیلی
analytic geometry