logika matematyczna,
dział matematyki poświęcony badaniu wnioskowania matematycznego (dowodzenia) oraz problemom podstaw matematyki.
- podstawy matematyki
- mnogości teoria
- informatyka
- rachunek kwantyfikatorów
- rachunek zdań
- Gödla twierdzenia
- modeli teoria
- algorytm
- filozofia matematyki
- prawa logiki klasycznej
- język formalny
- geometrie nieeuklidesowe
- antynomia
- wyłączonego środka prawo
- dowód
- nieskończoność
- wymuszania metoda
- aksjomat wyboru
- hipoteza continuum
- lingwistyka matematyczna
- sztuczna inteligencja
- De Morgan Augustus
- matematyka