mathematical logic

汉语翻译

英语解释：

名词 mathematical logic:

1. 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