Математикăлла логика
Математикăлла логика (урăх ятсем: теорилле логика, символла логика) — математикăри паллăсене, формаллĕ системăсене, математикăри шухăшларăшсен ĕнентереслĕхне,  математикăри ĕнентерÿсен пĕтĕмĕшле кăк-тымарне , шутлаяслăха тата математика никĕсĕсен ытти аспекчĕсене тĕпчесе вĕрентекен пай. 
Анлăрах лаптăкра  формаллĕ логикăн математика валли майлаштарнă енĕ пек шутланать: «ăшлăхĕпе —логика, меслечĕпе — математика», « математика меслечĕсемпе аталанакан логика».

Математикăлла логикăн ытти логикăсенчен уйрăлса тăракан енĕсене А.А.Зализняк академик çапларах палăртнă:

Математикăлла логикăна аслă шкулсен математика уйрăмĕсенче вĕрентеççĕ.

Асăрхавсем 

Математика
Математика хутшăнăвĕсем
Математикăлла логика