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