Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps

Noun: mathematical logic  ,ma-thu'ma-ti-kul 'ló-jik
  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

Derived forms: mathematical logics

Type of: logic, logical system, system of logic

Encyclopedia: Mathematical logic