text: Хотя формализация логики была значительно продвинута работами таких авторов как Г.Фреге, Дж.Пеано, Б.Расселл и Р.Дедекинд, история современной теории доказательств обычно рассматривается как начатая Д.Гильбертом, который инициировал то, что названо программой Гильберта для оснований математики.