A
matematikai logika a
matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat, matematikai módszerekkel vizsgálja. A matematikai logika célja a helyes következtetési sémák, helyes definíciók vizsgálata, beleértve a matematikai logika által alkalmazott következtetési sémákat, szabályokat, definíciókat is.