felsefenin bir koludur.cagdas felsefenin kurucusu Alman mantikcisi Gottlob Frege, ''Matematik mantığın uygulama alanıdır'' görüsünden hareketle matematigin, mantigin aksiyomatik sistemi üzerine kurulabilecegini düsünmüstür. Bu düsünceden hareket ederek aritmetigin temelleri konusundaki felsefi calısmaları icin bir mantik sistemi gelistirmistir.
