BSTS / Mantık Terimleri Sözlüğü
kümesel sayı kuramı anlamı İng. set-theoretical number theory Alm.mengentheoretische Zahlentheorie Fr. theorie ensembliste des nombres
Doğal sayıların küme olarak tanımına dayanan biçimsel sayı kuramı. || Kümesel sayı kuramında genellikle sıfır sayısı (…) biçiminde, ardıl işlevi de n' = nU {n} biçiminde tanımlanır. Krş.. temel mantıklı sayı kuramı.