 Skolem arithmetic

Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem.The signature of Skolem arithmetic contains only the multiplication operation and equality, omitting the addition operation entirely.