liàng huà luó ji / shì / shù lǐ luó ji / de / zhòng yào / fēn zhī

量化逻辑是数理逻辑的重要分支。

Quantificational logic is an important branch of mathematical logic.