Intuitionistic arithmetic