Matematika |
---|
A matematika alapjai |
Algebra |
Analízis |
Geometria |
Számelmélet |
Diszkrét matematika |
Alkalmazott matematika |
Általános |
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.
A matematikai logika korábban a szimbolikus logika részét képezte, abból fejlődött ki azáltal, hogy a szimbolikus logika formális módszereit kezdte alkalmazni a matematikai következtetések és bizonyítások vizsgálatára.