Философия математики

Филосо́фия матема́тики — учение о сущности математического знания и о базовых принципах математических доказательств, раздел философии науки; её можно также назвать «метаматематикой».