Aritmetik Felsefesi

[phi]

Matematik felsefesinin, dakik ve katı aksiyomatizasyonunu konu alıp, sayılara ilişkin bilgimizin kaynağı ve haklı kılınışına ve nihayet sayıların doğasına ve ontolojik statüsüne dair bir ilgiyle seçkinleşen dalı.

Söz konusu felsefe, birbirleriyle yakından ilişkili üç ana kola ya da dala ayrılır; bunlardan birincisi aritmetiğin katı ve dakik aksiyomatikleştirilmesiyle ilgili olan dal, ikincisi sayılara ilişkin bilgimizin kaynağı ve haklı kılınmasıyla ilgili epistemolojik alan ve sayıların doğasını konu edinen ontolojik problem alanıdır.