Robinson arithmetic
danh từ (noun)
Nghĩa chính
- Đoạn tiên đề hữu hạn của số học Peano bậc nhất, thiếu lược đồ tiên đề của quy nạp toán họcdanh từkhông đếm được (uncountable)A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.