Mathematical investigation of intuitionistic arithmetic and analysis | lit.salon