Source : WordNet®

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 [syn: {symbolic
         logic}, {formal logic}]