At its core, mathematical logic deals with mathematical concepts expressed using formal logical systems.
Στον πυρήνα της, η μαθηματική λογική χειρίζεται μαθηματικές έννοιες που εκφράζονται χρησιμοποιώντας τυπικά συστήματα λογικής.