 Skolem arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations.Unlike Peano arithmetic, Skolem arithmetic is a decidable theory.This means it is possible to effectively determine, for any sentence in the language of Skolem arithmetic, whether that sentence is provable from the axioms of Skolem arithmetic.