Does that page say Presburger arithmetic requires infinitely many axioms ? How do you make an actual decision when you need to take into account an infinite num

Does that page say Presburger arithmetic requires infinitely many axioms ? How do you make an actual decision when you need to take into account an infinite number of axioms?