cardinal number
preferred label: عدد اصلی @fa
type: Concept
related: Cantor-Dedekind axiom

analytic geometry
preferred label: هندسه تحلیلی @fa
type: Concept
narrower: Cantor-Dedekind axiom

Cantor-Dedekind axiom
related: decidability
related: cardinal number
broader: analytic geometry
preferred label: اصل موضوع کانتور-ددکیند @fa
type: Concept

decidability
preferred label: تصمیم‌پذیری @fa
type: Concept
related: Cantor-Dedekind axiom