手机版
演繹定理
【えんえきていり】
【enekiteiri】
演绎定理