There is an algorithm which decides for any given statement in Presburger arithmetic whether it is true or not.
There is an algorithm. This algorithm decides for any given statement in Presburger arithmetic. It is true. Mojzesz Presburger proved in 1929 this. This was in fact.