发送短信: What is the theory ZFC without power set?