Аннотация:
Прогрессии Тьюринга; условие их непротиворечивости; эквивалентная форма формулы непротиворечивости; ранг (характеристика) теории; примеры. Неэквивалентные формулы непротиворечивости. Пример нумерации PA, непротиворечивость в смысле которой влечет непротиворечивость ZFC. Пример Нибергалля неперечислимой негёделевой теории, формализующей и доказывающей утверждение о собственной непротиворечивости.
Обратная связь: