mathematical logic, n.
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
<noun.cognition> freq. cnt.: 1 freq. cnt.: 1
formal logic mathematical logic symbolic logic