Тхе дискретна математика одговарају области математике која је одговорна за проучавање скупа природних бројева; то јест, скуп коначних и бесконачних бројљивих...
Тхе математичка логика или симболичка логика је математички језик који укључује неопходне алате помоћу којих се математичко расуђивање може потврдити...