mathematical logic

• 数理逻辑

英英释义

Noun:

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 形式逻辑