The completeness was established by Mojżesz Presburger in 1929.
その完全性は1929年、Mojżesz Presburger が立証。