تصمیم‌پذیری
type: Concept
preferred label: decidability @en
related: اصل موضوع کانتور-ددکیند

عدد اصلی
type: Concept
preferred label: cardinal number @en
related: اصل موضوع کانتور-ددکیند

اصل موضوع کانتور-ددکیند
type: Concept
broader: هندسه تحلیلی
preferred label: Cantor-Dedekind axiom @en
related: تصمیم‌پذیری
related: عدد اصلی

هندسه تحلیلی
type: Concept
narrower: اصل موضوع کانتور-ددکیند
preferred label: analytic geometry @en