Intuitionistic weak arithmetic