Изменения

## ссылки на вики

## а зачем оно нужно?

## во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские)

## дать ссылки на английские источники и термины

# '''взяли''' [[Неразрешимость исчисления предикатов первого порядка]]

## написать. Это очень просто на самом деле, если немного помнить матлогику

## написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.

# [[Теорема Райса-Шапиро]]