Аннотация: Рассматривается соотношение между субъективной, или человеческой, математикой и объективной математикой, введенной К. Геделем при интерпретации им теорем о неполноте. Показывается связь этого различения с понятием математической определенности. Установлена связь понятия математической определенности с понятием очевидным истин математики в виде аксиом. Рассмотрено отличие очевидных истин элементарной арифметики от высших синтаксических структур.