Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Дави́д Ги́льберт — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. Член многих академий наук, в том числе Берлинской, Гёттингенской, Лондонского королевского общества, иностранный почётный член Академии наук СССР (1934). Лауреат премии имени Н. И. Лобачевского (1903). В 1910—1920-е годы был признанным мировым лидером математиков.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Математи́ческая ло́гика — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Курт Фри́дрих Гёдель — австрийский логик, математик и философ математики. Наиболее известен сформулированными и доказанными им теоремами о неполноте, которые оказали огромное влияние на представление об основаниях математики. Считается одним из наиболее выдающихся мыслителей XX века.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Логици́зм, или логи́стика, или логистицизм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Непротиворечи́вость — свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого-то предложения из системы может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Непротиворечивость системы означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование непротиворечивости является обязательным требованием к научной и, в частности, логической теории. Противоречивая система заведомо несовершенна: наряду с истинными положениями она включает также ложные; в ней что-то одновременно и доказывается, и опровергается. Во многих системах имеет место закон Дунса Скота. В этих условиях доказуемость противоречия означает, что становится доказуемым.
Фри́дрих Лю́двиг Го́тлоб Фре́ге — немецкий логик, математик и философ. Представитель школы аналитической философии.
Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причём все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Ха́скелл Брукс Ка́рри — американский математик и логик.
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Теория доказательств — раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики. Теория доказательств использует точное определение понятия доказательства при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
Кризис оснований математики — термин, обозначающий поиск фундаментальных основ математики на рубеже XIX и XX веков.
Principia Mathematica — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах. Монография написана на английском языке, но название дано на латыни. Название переводилось на русский как «Принципы математики», «Начала математики» и «Основания математики».
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Ультрафинитизм — крайняя форма финитизма, проявляемая в ряде математических и философско-математических концепций и теорий. Общим для всех форм математического финитизма является отказ от использования интуитивно сомнительной абстракции актуальной бесконечности, например, бесконечного множества натуральных чисел как законченного, завершённого в построении объекта; ультрафинитизм же отрицает или считает малосодержательной абстракцией и потенциальную бесконечность, то есть возможность построения сколь угодно больших конструктивных объектов; как следствие отрицается, например, применимость арифметических операций ко всем натуральным числам.
