logika a matematika tvrzení dokázané v dané axiomatické soustavě
Matematika
teorém dokazující, že obecný případ rozhodnutelnosti predikátového kalkulu prvního stupně s identitou je neřešitelný
teorém, podle něhož každý výraz predikátového kalkulu je buď nesplnitelný, nebo je splnitelný v konečné oblasti
jazyk vědy obsahující výrazy, které označují nepozorovatelné objekty
Matematika / Jazykověda
obor matematiky zabývající se zejména celými čísly
část matematiky zahrnovaná zpravidla do kombinatorické analýzy
soubor teorií o hře jako aktivitě
Matematika / Psychologie / Sociologie / Filozofie
matematická disciplína vyšetřující vlastnosti a použití ideálů
obor matematiky zkoumající vznik, změnu nebo ztrátu stability objektů
matematická teorie
logika, teorie zabývající se studiem modelů axiomatických teorií
Matematika / Filozofie
součást matematické statistiky
logika teorie vybudovaná A. N. Whiteheadem a B. Russellem
jedna ze základních úloh matematické statistiky
Statistika
