On the limit existence priciples in elementary arithmetic and related topics by A. Visser & L.D. Beklemishev