mathematical logic

详细解释:【计】 数理逻辑

英语解释：

名词 mathematical logic:

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity同义词：symbolic logic, formal logic