bn:03518146n
Noun Concept
JA
No term available
EN
In mathematical logic, Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. Wikipedia
Sources