mathematical logic
n 1: 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}, {mathematical logic}, {formal logic}]