Изменения

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

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

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

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