English dictionary
mathematical logic
/,m/&//T//@/'m/&/t/I/k/@/l_'l/A//dZ//I/k/
Definitions, examples, synonyms and antonyms from WordNet 3.0.
noun
-
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Source: WordNet 3.0