Matemātiskā loģika
Matemātiskā loģika (teorētiskā loģika, simboliskā loģika) ir matemātikas nozare, kas pēta matemātisko pierādījumu formas, formālās valodas izteikumus un operācijas ar izteikumiem. Matemātiskā loģika apvieno vienā disciplīnā matemātiku un loģiku, aprakstot pareizai domāšanai raksturīgās formālās kārtulas.