Intuitionistic analysis