The general first-order theory of the natural numbers expressed in Peano's axioms cannot be decided with an algorithm, however.
Teoria generală de ordinul întâi a numerelor naturale exprimată prin axiomele lui Peano⁠(d) nu poate fi decisă însă cu un algoritm.