发送短信: Axiomatic functionalism