语言使得推理成为可能