Η μαθηματική λογική είναι ο κλάδος των μαθηματικών που ασχολείται με τις αρχές της λογικής και τις δομές των μαθηματικών αποδείξεων. Εξετάζει τη σχέση μεταξύ προτάσεων, την αλήθεια και την ψευδότητα τους, καθώς και τους κανόνες που διέπουν τη λογική σκέψη. Αυτή η πειθαρχία περιλαμβάνει έννοιες όπως οι προτάσεις, οι λογικές συνδέσεις και οι παραδείγματα. Η μαθηματική λογική είναι θεμελιώδης για την κατανόηση των μαθηματικών και έχει εφαρμογές σε τομείς όπως η πληροφορική και η φιλοσοφία.